МЕДЛЕР, ИОГАНН ГЕНРИХ, немецкий астроном