БИРМАН, ЛЮДВИГ ФРАНЦ БЕНЕДИКТ, немецкий астроном