[tz] Spain may change time

[Tim Parenti]

On 13 December 2016 at 17:10, Paul Eggert <eggert at cs.ucla.edu> wrote:

> I see "25:00" only in the tables, not in the text.


On the contrary, "25h" is referred to a couple times in the text, and based
on the following Google translations (emphasis added), it does seem its
usage was official in 1918–1938...

page 384–385:

En el periodo 1918-1938 los avisos de cambio de la hora oficial se
realizaron con muy escasa antelación, de unas pocas semanas e, incluso, de
días (por ejemplo, en 1929). Además, al realizar los cambios de modo que la
nueva hora coincidiera con la medianoche, *el día de otoño en que se
recuperaba la hora normal se extendía oficialmente hasta las 25h00min.*

In the period 1918-1938 the notices of change of official time were made
very short notice, a few weeks and even days (for example, in 1929). In
addition, when making the changes so that the new hour coincided with
midnight, *the fall day in which the normal time was recovered was
officially extended until 25:00.*

page 387:

Desde 1974 hasta 1977, una orden anual de la Presidencia del Gobierno
establecía el inicio del periodo de verano a finales de marzo o principios
de abril, pasando las 23h a ser las 24h, y su conclusión a finales de
septiembre o principios de octubre, *día en que las 25h pasaban a ser las
0h del día siguiente.*

>From 1974 to 1977, an annual Order of the Presidency of the Government
established the beginning of the summer period at the end of March or
beginning of April, from 11 pm to 12 pm, and its conclusion at the end of
September or beginning of October, *day In which the 25h went to be the 0h
of the following day.*

--
Tim Parenti
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mm.icann.org/pipermail/tz/attachments/20161213/15432051/attachment.html>