[tz] Fwd: DST changes in Hungary (full historical revision)

[Michael H Deckers]

   On 2020-06-07 23:25, Paul Eggert wrote:



> Thanks for those corrections. I installed the attached patch to the development
> database on GitHub. It's not exactly what you emailed me, but it should generate
> equivalent transitions.


      While we are at it, we might correct the date of introduction of
      CET by the Hungarian railroads:

      an Austrian encyclopedia of railroads of 1913,
      online at
      [http://www.zeno.org/Roell-1912/A/Eisenbahnzeit]
      says that the switch happened on 1890-11-01:

         Auf Antrag der ungarischen Staatseisenbahnverwaltung beschloß der
         VDEV. am 30. Juli 1890, die Zonenzeit für den inneren Dienst der
         Eisenbahnverwaltungen einzuführen. – Dies geschah in
         Österreich-Ungarn am 1. November 1890 unter gleichzeitiger 
Aufnahme der
         Zonenzeit in die öffentlichen Fahrpläne und in gleicher Weise 
am 1.
         April 1892 in Bayern, Württemberg, Baden und Elsaß-Lothringen.

          [On the initiative of the Hungarian railroad administration, the
          VDEV decided on 1890-07-30 to introduce zone times for the 
internal
          use of the railroad service. This happened in Austria-Hungary 
on 1890-11-01,
          at which occasion zone time was also introduced into the 
public schedules;
          and, in a similar manner, on 1892-04-01 in Bavaria, Badenia, 
Alsatia-Lorraine.]

      Thus,
         - Zone   Europe/Budapest 1:16:20 -   LMT     1890 Oct
         + Zone   Europe/Budapest 1:16:20 -   LMT     1890 Oct 31 23u

      Michael Deckers.