Mueller, Johann, Regiomontanus, See Mueller, Johannes, Regiomontanus, 1436-1476.