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