High-precision orbit and clock information is a basic requirement for precise positioning with Global Navigation Satellite Systems (GNSSs) such as the American GPS or the European Galileo. Satellite ...