Nicolaus Germanus, active 15th century