An animation of the celestial sphere in rotation