Geschenkte Sekunde

Haben Sie es registriert? Der Juli hatte eine Sekunde mehr als kalendarisch vorgesehen: Eine Schaltsekunde. Da unsere Erde nicht ganz rund läuft, wird die Weltzeit angepasst: Die erste Stunde im Juli hatte 3601 Sekunden. Haben Sie diese Zeit gut genutzt?