Hacker News Reader

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

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.