2295a2296,2297
> # From Paul Eggert (2012-10-12):
> # 2012 transitions per http://www.timeanddate.com as of 2012-10-12.
2306c2308
< 2:00 1:00 EEST 2012 Sep 28
---
> 2:00 1:00 EEST 2012 Sep 21 1:00
2321c2323
< 2:00 1:00 EEST 2012 Sep 28 3:00
---
> 2:00 1:00 EEST 2012 Sep 21 1:00