Grundlagen der Ephemeridenrechnung (German Edition); 7. Aufl