Kurze Toilettenpausen gelten als Arbeitszeit und sind nicht auf die Ruhepause anzurechnen.