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