Title: Manual of geodetic astronomy