[tz] Busingen revisited
eggert at cs.ucla.edu
Fri Jan 11 21:05:46 UTC 2013
Getting back to the main topic, I pushed Arthur's change to the
experimental tz repository on github, with minor changes for
consistency with the rest of the data, and an updated URL
(the old one got redirected). This change uses
the name "Busingen" in comments as well as in the database.
I've seen it "Buesingen" in English-language texts, but
"Busingen" is also common and there is some advantage to
spelling it the same way in the comments as it is in the data.
>From 3daaa8e3469aa53179d1155323f0f7bf152c10a3 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert at cs.ucla.edu>
Date: Fri, 11 Jan 2013 11:58:07 -0800
Subject: [PATCH 1/2] New alias Europe/Busingen for Europe/Zurich.
* europe, zone.tab (Europe/Busingen): New Link. See Arthur David Olson
Original heads-up from Tobias Conradi in
europe | 15 +++++++++++++++
zone.tab | 3 ++-
2 files changed, 17 insertions(+), 1 deletion(-)
diff --git a/europe b/europe
index d00582d..dbd9a71 100644
@@ -1239,6 +1239,21 @@ Zone Europe/Berlin 0:53:28 - LMT 1893 Apr
1:00 Germany CE%sT 1980
1:00 EU CE%sT
+# From Tobias Conradi (2011-09-12):
+# Busingen <http://www.buesingen.de>, surrounded by the Swiss canton
+# Schaffhausen, did not start observing DST in 1980 as the rest of DE
+# (West Germany at that time) and DD (East Germany at that time) did.
+# DD merged into DE, the area is currently covered by code DE in ISO 3166-1,
+# which in turn is covered by the zone Europe/Berlin.
+# Source for the time in Busingen 1980:
+# From Arthur David Olson (2012-03-03):
+# Busingen and Zurich have shared clocks since 1970.
+Link Europe/Zurich Europe/Busingen
# Please see the "asia" file for Asia/Tbilisi.
# Herodotus (Histories, IV.45) says Georgia north of the Phasis (now Rioni)
diff --git a/zone.tab b/zone.tab
index 4ba2087..c1cd95e 100644
@@ -159,7 +159,8 @@ CW +1211-06900 America/Curacao
CX -1025+10543 Indian/Christmas
CY +3510+03322 Asia/Nicosia
CZ +5005+01426 Europe/Prague
-DE +5230+01322 Europe/Berlin
+DE +5230+01322 Europe/Berlin most locations
+DE +4742+00841 Europe/Busingen Busingen
DJ +1136+04309 Africa/Djibouti
DK +5540+01235 Europe/Copenhagen
DM +1518-06124 America/Dominica
More information about the tz