<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 13 December 2016 at 17:10, Paul Eggert <span dir="ltr"><<a href="mailto:eggert@cs.ucla.edu" target="_blank">eggert@cs.ucla.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I see "25:00" only in the tables, not in the text.</blockquote></div><br>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...</div><div class="gmail_extra"><br></div><div class="gmail_extra"><div class="gmail_extra">page 384–385:</div><div class="gmail_extra"><br></div><div class="gmail_extra">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, <b>el día de otoño en que se recuperaba la hora normal se extendía oficialmente hasta las 25h00min.</b></div><div class="gmail_extra"><br></div><div class="gmail_extra">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, <b>the fall day in which the normal time was recovered was officially extended until 25:00.</b><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">page 387:</div><div class="gmail_extra"><br></div><div class="gmail_extra">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, <b>día en que las 25h pasaban a ser las 0h del día siguiente.</b></div><div class="gmail_extra"><br></div><div class="gmail_extra"><div class="gmail_extra">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, <b>day In which the 25h went to be the 0h of the following day.</b></div><div class="gmail_extra"><br></div></div><div><div class="gmail_signature">--<br>Tim Parenti<br></div></div>
</div></div>