@jef To make summertime sound less tempting, I've started to refer to it as nazi-time 😅 Because in Norway we got it when Germany invaded us during WW2 (that wasn't the first time we used it though, so not entirely correct, but good enough for me!).
My proposed slogan is "The war is over, abolish nazi-time!" ✊