On Mon, 07 Jan 2013 14:28:30 +0100, Arthur David Olson <arthurdavidolson@gmail.com> wrote:
With the new year, a revised attempt to handle the German exclave of Busingen (which followed Zurich rather than Berlin in 1980). These changes are relative to the latest github.com/eggert/tz versions; they are both below (with tabs mangled) and attached.
--ado
*** old/europe 2013-01-07 08:05:19.093905100 -0500 --- europe 2013-01-07 08:13:01.260316900 -0500 *************** *** 1239,1244 **** --- 1239,1265 ---- 1:00 Germany CE%sT 1980 1:00 EU CE%sT + # From Tobias Conradi (2011-09-12): + # The German enclave of Büsingen
It should be "exclave" there (it's an exclave of Germany and an enclave of Switzerland). I'm not sure, are the files supposed to be UTF-8? If so, that ü should be 'ü'. Alternately, you could also write "Buesingen" (ü becoming ue).
+ # <a href=http://www.buesingen.de> + # (http://www.buesingen.de) + # </a> + # 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 Büsingen 1980:
See ü comment above.
+ # <a href="http://www.videoportal.sf.tv/video?id=c012c029-03b7-4c2b-9164-aa5902cd58d3"> + # http://www.videoportal.sf.tv/video?id=c012c029-03b7-4c2b-9164-aa5902cd58d3 + # </a> ++ # From Arthur David Olson (2012-03-03): + # Büsingen and Zurich have shared clocks since 1970.
And here.
++ 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) *** old/zone.tab 2013-01-07 08:05:21.511909300 -0500 --- zone.tab 2013-01-07 08:18:15.587807500 -0500 *************** *** 159,165 **** CX -1025+10543 Indian/Christmas CY +3510+03322 Asia/Nicosia CZ +5005+01426 Europe/Prague ! DE +5230+01322 Europe/Berlin DJ +1136+04309 Africa/Djibouti DK +5540+01235 Europe/Copenhagen DM +1518-06124 America/Dominica --- 159,166 ---- CX -1025+10543 Indian/Christmas CY +3510+03322 Asia/Nicosia CZ +5005+01426 Europe/Prague ! DE +5230+01322 Europe/Berlin Germany except Busingen ! DE +4742+00841 Europe/Busingen Busingen Germany
Could be Buesingen here too. Sascha