Wird ein Feiertag als Arbeitszeit berechnet?