I want to know the answer to the following question:
When the UK changes their clocks forward in the spring, what do they call the time they're then observing?
All the background I'm provided with is that "The name of local time typically changes when DST is observed.". Is that enough to answer the question?