Wird ein gesetzlicher Feiertag bezahlt?