Soll Mittagspause als Arbeitszeit zählen?

1.Die Mittagspause der Beamten zählt nun zu ihrer Arbeitszeit. Sollte das für alle gelten?