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 "Double daylight saving time has been used on occasion; for example, it was used in some European countries during and shortly after World War II when it was referred to as "Double Summer Time".". Is that enough to answer the question?