The war's end swung the pendulum back. What spring holiday did Britain adjust its DST schedule around