Arbeiten am Feiertag/ Überstundnen

[Autobahner2023]

Hallo Zusammen,

ein Kollege arbeitet bei der Autobahn GmbH des Bundes im Straßenbetriebsdienst.
Nach den Bereitschaftsplan im Sommer ist er zur Arbeit am 01.05. eingeteilt wurden.
Er war auch an dem Tag arbeiten.
Nun zur Frage: Kann der Kollege mit den geleisteten Stunden vom 01.05. seine Minusstunden im Arbeitszeitkonto ausgleichen?

Vielen Dank für eure Mühen.

Mfg Autobahner2023