Spain instead adjusted it's entire country around the time.
And they still do DST. They're just on a different time zone than they should be because during WWII, they changed to the same time zone as Germany.