Question: What's a third name for double daylight saving time or Double Summer Time used in Europe?
Sentence: 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".
Answer in sentence: no