astronomical refraction; atmospheric refraction