. "17th-century Austrian astronomer" . . . .