central.european.summertime, 7/25