Am 30.6. 1972 gab es die erste Schaltsekunde überhaupt und seither wird bei Bedarf immer mal wieder die Zeit korrigiert, ohne dass uns das auffallen würde...