Amtliche/offizielle Zeitzonennamen

Moin!

Stehe hier gerade vor der Aufgabe (und Diskussion mit Kollegen), welche
Zeitzone fuer Deutschland von der Benennung her als "offiziell"
betrachtet werden kann.

Also MET, MEZ/MESZ, CET oder CEST oder so...

Ich habe jetzt beim googeln und manpagelesen zwar einiges ueber
POSIX-Formate, die TZ-Variable, und ISO8601 gelernt, aber eine in
irgendeiner Form "offizielle" Liste der Zeitzonen in der Welt fiel mir
dabei nicht auf die Fuesse...

Kann da jemand weiterhelfen, und sei es mit einem Link, wo die fuer den
Standard keine $$$ haben wollen?

TIA
Olaf

-- 
Olaf Hoyer        ohoyer(at)gaff.hhhr.ision.net
Fuerchterliche Erlebniss geben zu raten,
ob der, welcher sie erlebt, nicht etwas Fuerchterliches ist.
(Nietzsche, Jenseits von Gut und Boese)
To Unsubscribe: send mail to majordomo(at)de.FreeBSD.org
with "unsubscribe de-bsd-questions" in the body of the message