[grodriguez100]

Spain is not “double summer time”, it is just on an offset that is off by one hour related to its geographical position.

[pezezin]

That's why I wrote it in quotes, it is not an official term. But call it however you want, the results are the same.