Europe goes back/forward to daylight saving time tonight. I’ve forgot which one is the “normal” time. The winter time?