In deinem link fehlen aber die örtlichen Feiertage der Kanaren bzw. Gran Canarias (oder hab ich was übersehen) und gestern war ja genau so ein örtlicher.