Paul Harzer
deutscher Astronom und Hochschullehrer