I want to know the answer to the following question:
What's a third name for double daylight saving time or Double Summer Time used in Europe?
All the background I'm provided with is that "See British Double Summer Time and Central European Midsummer Time for details.". Is that enough to answer the question?
Answer: yes