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@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 in <http://mm.icann.org/pipermail/tz/2013-January/018511.html>. Original heads-up from Tobias Conradi in <http://mm.icann.org/pipermail/tz/2011-September/008784.html>. --- europe | 15 +++++++++++++++ zone.tab | 3 ++- 2 files changed, 17 insertions(+), 1 deletion(-) diff --git a/europe b/europe index d00582d..dbd9a71 100644 --- a/europe +++ b/europe @@ -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: +# http://www.srf.ch/player/video?id=c012c029-03b7-4c2b-9164-aa5902cd58d3 + +# From Arthur David Olson (2012-03-03): +# Busingen and Zurich have shared clocks since 1970. + +Link Europe/Zurich Europe/Busingen + # Georgia # 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 --- a/zone.tab +++ b/zone.tab @@ -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 -- 1.7.10.4