Der 4. November gilt als abgeschaffter Feiertag und wird als zusätzlicher Tag auf dem Lohnstreifen November ausbezahlt.