Ein Kollege musste in Österreich in den Außendienst. Dort arbeitete er an einem nationalen (österreichischen) Feiertag. Hat er Anspruch auf Feiertagszuschlag?