Ist der 23 Dezember ein Feiertag?