Ist der 31 Dezember ein gesetzlicher Feiertag?