Got up early and put all my clocks back an hour. We actually have 18 different devices and timers to change! Phew, it's taken me nearly two hours. Glad that's all done for another 6 months. Going back to bed now as (really) it's only ten past 6.