Rådhuset, det astronomiske ur