Wird die Mittagspause in die Arbeitszeit eingerechnet?