echo $begrüßung;
Das einzige, was die Berücksichtigung von Schaltsekunden erfordert, ist ein Webservice, der ständig die aktuelle Differenz zwischen UTC und TAI zur Verfügung stellt wie auch die Daten der Einfügungen von Schaltsekunden in der Vergangenheit und geplante in der näheren Zukunft.
Das bisschen Addieren sollte eine Datumsfunktion hinbekommen.
Aber sicher. Und immer [1], wenn eine Zeitfunktion aufgerufen wird, muss der Webservice kontaktiert werden ... Hast du auch noch einen performanten und ausfallsicheren Vorschlag?
[1] zumindest einmal pro Aufruf von Kurzläufern wie Scripten und regelmäßig für länger laufende Programme.
echo "$verabschiedung $name";