The clocks went back an hour here in London overnight—summertime is over. I suppose I’m happy for the extra time to rest (though in fact I didn’t sleep very well last night) but not looking forward to six months of early darkness.