relating to Doppler shift of satellite signals