Frage zur Anzahl der arbeitstunden in eine Woche mit Feiertag?

Servus miteinander! Hab eine Frage. Mein Freund hat eine 40 Std. Arbeitswoche Mo-Fr, wobei Mittwoch immer ein freie Tag ist, da am Mittwoch keine Lieferung im Geschäft stattfindet. Die 40 std +/- oder 2 kommen an den vier Tagen (Mo, Di ,Do, Fr) immer zusammen. Wenn allerdings an einem Tag ( nicht Mittwoch) ein Feiertag ist, wie jetzt zB nächste Woche Montag.. somit wird aus freien Tag ein Arbeitstag.

Da wo dann die meisten AN eine kürzere Woche haben arbeitet er die 40 std ab. Klar hat er dann immer noch einen freien Tag in der Woch aber mit den 40 Std. Hat also nix von dem Feiertag so zu sagen.

Sehe ich das richtig? Muss dieser Feiertag ihm angerechnet werden ? Oder soll dann der Mittwoch frei bleiben wie davor und dann zusätzlich Donnerstag frei weil Feiertag? Danke Euch schon mal im voraus für die Rückmeldung!