Wird die Mittagspause von der Arbeitszeit abgezogen?