Spain is, however, thought to be 2hrs 30mins ahead of "sun" time, not a mere one hour we're talking about here.
Spain is certainly ahead by a lot, but the 2:30 is for Galicia which is the westernmost tip of Spain (which is on the same longitude as Portugal, which is in a different time Zone).
For most of Spain it’s less, tough still a lot.