<!DOCTYPE html><html><head>
<style type="text/css">body { font-family:'Times New Roman'; font-size:13px}</style>
</head>
<body>On Mon, 07 Jan 2013 14:28:30 +0100, Arthur David Olson <arthurdavidolson@gmail.com> wrote:<br><br><blockquote style="margin: 0 0 0.80ex; border-left: #0000FF 2px solid; padding-left: 1ex"><div dir="ltr"><div><div>With the new year, a revised attempt to handle the German exclave of Busingen (which followed Zurich rather than Berlin in 1980).<br></div>These changes are relative to the latest <a href="http://github.com/eggert/tz">github.com/eggert/tz</a> versions; they are both below (with tabs mangled) and attached.<br>
<br></div>        --ado<br><div><div><div><br>*** old/europe    2013-01-07 08:05:19.093905100 -0500<br>--- europe    2013-01-07 08:13:01.260316900 -0500<br>***************<br>*** 1239,1244 ****<br>--- 1239,1265 ----<br>              1:00    Germany    CE%sT    1980<br>
              1:00    EU    CE%sT<br>  <br>+ # From Tobias Conradi (2011-09-12):<br>+ # The German enclave of B&uuml;singen<br></div></div></div></div></blockquote><div><br></div><div>It should be "exclave" there (it's an exclave of Germany and an enclave of Switzerland).</div><div><br></div><div>I'm not sure, are the files supposed to be UTF-8? If so, that &uuml; should be 'ü'. Alternately, you could also write "Buesingen" (ü becoming ue).</div><div><br></div><blockquote style="margin: 0 0 0.80ex; border-left: #0000FF 2px solid; padding-left: 1ex"><div dir="ltr"><div><div><div>+ # <a href=<a href="http://www.buesingen.de">http://www.buesingen.de</a>><br>+ # (<a href="http://www.buesingen.de">http://www.buesingen.de</a>)<br>
+ # </a><br>+ # surrounded by the Swiss canton Schaffhausen,<br>+ # did not start observing DST in 1980 as the rest of DE<br>+ # (West Germany at that time) and DD (East Germany at that time) did.<br>+ # DD merged into DE, the area is currently covered by code DE in ISO 3166-1,<br>
+ # which in turn is covered by the zone Europe/Berlin.<br>+ #<br>+ # Source for the time in B&uuml;singen 1980:</div></div></div></div></blockquote><div><br></div><div>See &uuml; comment above.</div><div><br></div><blockquote style="margin: 0 0 0.80ex; border-left: #0000FF 2px solid; padding-left: 1ex"><div dir="ltr"><div><div><div><br>+ # <a href="<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>"><br>
+ # <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><br>+ # </a><br>+ <br>+ # From Arthur David Olson (2012-03-03):<br>
+ # B&uuml;singen and Zurich have shared clocks since 1970.</div></div></div></div></blockquote><div><br></div><div>And here.</div><div><br></div><blockquote style="margin: 0 0 0.80ex; border-left: #0000FF 2px solid; padding-left: 1ex"><div dir="ltr"><div><div><div><br>+ <br>+ Link    Europe/Zurich    Europe/Busingen<br>+ <br>  # Georgia<br>  # Please see the "asia" file for Asia/Tbilisi.<br>  # Herodotus (Histories, IV.45) says Georgia north of the Phasis (now Rioni)<br>
*** old/zone.tab    2013-01-07 08:05:21.511909300 -0500<br>--- zone.tab    2013-01-07 08:18:15.587807500 -0500<br>***************<br>*** 159,165 ****<br>  CX    -1025+10543    Indian/Christmas<br>  CY    +3510+03322    Asia/Nicosia<br>
  CZ    +5005+01426    Europe/Prague<br>! DE    +5230+01322    Europe/Berlin<br>  DJ    +1136+04309    Africa/Djibouti<br>  DK    +5540+01235    Europe/Copenhagen<br>  DM    +1518-06124    America/Dominica<br>--- 159,166 ----<br>
  CX    -1025+10543    Indian/Christmas<br>  CY    +3510+03322    Asia/Nicosia<br>  CZ    +5005+01426    Europe/Prague<br>! DE    +5230+01322    Europe/Berlin    Germany except Busingen<br>! DE    +4742+00841    Europe/Busingen    Busingen Germany</div></div></div></div></blockquote><div><br></div><div>Could be Buesingen here too.</div><div><br></div><div>Sascha</div><div><br></div></body></html>