Hallo,
ich würde sagen, dass der Mitarbeiter an diesem Feiertag entweder 3-5 Plusstunden + Zuschlag als Guthaben aufbaut oder er die 3-5 Stunden als Überstunden + Zuschlag ausbezahlt bekommt.
Die 6,7 Std bekommt er auch gutgeschrieben, da es ein Feiertag ist. Alles andere ist zusätzlich.
LG
Eli