<!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 &lt;arthurdavidolson@gmail.com&gt; 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>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; --ado<br><div><div><div><br>*** old/europe&nbsp;&nbsp;&nbsp; 2013-01-07 08:05:19.093905100 -0500<br>--- europe&nbsp;&nbsp;&nbsp; 2013-01-07 08:13:01.260316900 -0500<br>***************<br>*** 1239,1244 ****<br>--- 1239,1265 ----<br>&nbsp; &nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; 1:00&nbsp;&nbsp;&nbsp; Germany&nbsp;&nbsp;&nbsp; CE%sT&nbsp;&nbsp;&nbsp; 1980<br>
&nbsp; &nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; 1:00&nbsp;&nbsp;&nbsp; EU&nbsp;&nbsp;&nbsp; CE%sT<br>&nbsp; <br>+ # From Tobias Conradi (2011-09-12):<br>+ # The German enclave of B&amp;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 &amp;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>+ # &lt;a href=<a href="http://www.buesingen.de">http://www.buesingen.de</a>&gt;<br>+ # (<a href="http://www.buesingen.de">http://www.buesingen.de</a>)<br>
+ # &lt;/a&gt;<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&amp;uuml;singen 1980:</div></div></div></div></blockquote><div><br></div><div>See &amp;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>+ # &lt;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>"&gt;<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>+ # &lt;/a&gt;<br>+ <br>+ # From Arthur David Olson (2012-03-03):<br>
+ # B&amp;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&nbsp;&nbsp;&nbsp; Europe/Zurich&nbsp;&nbsp;&nbsp; Europe/Busingen<br>+ <br>&nbsp; # Georgia<br>&nbsp; # Please see the "asia" file for Asia/Tbilisi.<br>&nbsp; # Herodotus (Histories, IV.45) says Georgia north of the Phasis (now Rioni)<br>
*** old/zone.tab&nbsp;&nbsp;&nbsp; 2013-01-07 08:05:21.511909300 -0500<br>--- zone.tab&nbsp;&nbsp;&nbsp; 2013-01-07 08:18:15.587807500 -0500<br>***************<br>*** 159,165 ****<br>&nbsp; CX&nbsp;&nbsp;&nbsp; -1025+10543&nbsp;&nbsp;&nbsp; Indian/Christmas<br>&nbsp; CY&nbsp;&nbsp;&nbsp; +3510+03322&nbsp;&nbsp;&nbsp; Asia/Nicosia<br>
&nbsp; CZ&nbsp;&nbsp;&nbsp; +5005+01426&nbsp;&nbsp;&nbsp; Europe/Prague<br>! DE&nbsp;&nbsp;&nbsp; +5230+01322&nbsp;&nbsp;&nbsp; Europe/Berlin<br>&nbsp; DJ&nbsp;&nbsp;&nbsp; +1136+04309&nbsp;&nbsp;&nbsp; Africa/Djibouti<br>&nbsp; DK&nbsp;&nbsp;&nbsp; +5540+01235&nbsp;&nbsp;&nbsp; Europe/Copenhagen<br>&nbsp; DM&nbsp;&nbsp;&nbsp; +1518-06124&nbsp;&nbsp;&nbsp; America/Dominica<br>--- 159,166 ----<br>
&nbsp; CX&nbsp;&nbsp;&nbsp; -1025+10543&nbsp;&nbsp;&nbsp; Indian/Christmas<br>&nbsp; CY&nbsp;&nbsp;&nbsp; +3510+03322&nbsp;&nbsp;&nbsp; Asia/Nicosia<br>&nbsp; CZ&nbsp;&nbsp;&nbsp; +5005+01426&nbsp;&nbsp;&nbsp; Europe/Prague<br>! DE&nbsp;&nbsp;&nbsp; +5230+01322&nbsp;&nbsp;&nbsp; Europe/Berlin&nbsp;&nbsp;&nbsp; Germany except Busingen<br>! DE&nbsp;&nbsp;&nbsp; +4742+00841&nbsp;&nbsp;&nbsp; Europe/Busingen&nbsp;&nbsp;&nbsp; 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>