Johannes Franz Hartmann
deutscher Astronom