Diese klägerische Auffassung verdient keine Zustimmung: Wohl gelten Pausen gemäss Art. 15 Abs. 2 ArG als Arbeitszeit, sofern der Arbeitsplatz nicht verlassen werden darf. Diese Regelung bezieht sich indes nur auf den Gesundheitsschutz und sagt nichts darüber hinaus, ob Pausen auch bezahlt sein müssen. Erst
wenn eine vertragliche Regelung fehlt, sind Pausen mit Arbeitsbereitschaft auch
zu entlöhnen (Müller, in: Stämpflis Handkommentar zum Arbeitsgesetz, Art. 15
N 27 f.) Gemäss den allgemeinen Arbeitsbedingungen der Beklagten ist das Rauchen nur in Pausen gestattet und Rauchpausen gelten nicht als Arbeitszeit
(act. 3/2 bzw. 12/3 Ziff.