(...) Richtig ist, dass sich die Wochenarbeitszeit der Gymnasiallehrerinnen und Lehrer von ursprünglich 25 Stunden auf heute 25,5 Stunden erhöht hat, während insgesamt ein Rückgang der Wochenarbeitszeit beim Beamten im Allgemeinen zu verzeichnen ist. Betrachtet man die Gruppe Lehrer/innen im Speziellen, ergibt sich folgendes Bild für Nordrhein-Westfalen: (...)