Yeah, which is why DST matters more in Europe. Spain might not need it though.