completed timezone history of Germany

I have compiled a complete timezone history of Germany. It defines 10 additional zones for parts of Germany which had a timezone history different from Europe/Berlin Two of these zones refer to areas belonging to Poland since 1945. The processing of the zone file with zic requires that zic is patched with the 'follow rule' patch I had submitted for review on 25 August.