. . "17th-century German astronomer" . . .