Im Regelfall zählt eine Ruhepause als zeitlich festgelegte Unterbrechung vom Arbeitsalltag. Damit zählt sie nicht zur Arbeitszeit und wird auch nicht vergütet. Anders verhält es sich mit den eben beschriebenen Ausnahmen.