Holiday pay during release from work