And then set it back to GMT again as it wasn't affecting the personal time settings. The "base time" has been GMT all summer and now should be correct. However, if you set your own variant time back then, as you yourself said you did on the second-last post there, then you'll need to adjust that.