central.european.summertime, 5/25