»... Nach § 75 Abs. 3 Nr. 1 BPersVG besteht ein Mitbestimmungsrecht des Personalrates, soweit eine gesetzliche oder tarifliche Regelung nicht besteht, bezüglich des Beginns und Endes der täglichen Arbeitszeit und der Pausen sowie der Verteilung der Arbeitszeit auf die einzelnen Wochentage. Dieses Mitbestimmungsrecht des Personalrates erstreckt sich also schon nach dem Gesetzeswortlaut, aber auch nach dem Sinn und Zweck der gesetzl. Regelung nur auf die Bestimmung der zeitlichen Lage einer in ihrem Umfang als vorgegeben betrachteten Arbeitszeit, deren Festsetzung der Gesetzgeber als Angelegenheit der Tarifvertragsparteien betrachtet, die in § 9 TVAL II insoweit auch von ihrer Rechtsetzungsbefugnis detailliert Gebrauch gemacht haben. Das Mitbestimmungsrecht des Personalrats bezieht sich daher nicht auf die Dauer der Arbeitszeit, um die die Parteien vorliegend ausschließlich streiten. Darin folgt der Senat der Rechtsauffassung des BVerwG (vgl. BVerwGE 37, 173, 174) und des Fachschrifttums (vgl. Dietz/Richardi, BPersVG, 2. Aufl., § 75 Rz. 225 ff. sowie Lorenzen/Eckstein, BPersVG, § 75 Rz. 115, m. w. N.).«