1. Bemisst sich das pensionsfähige Diensteinkommen nach dem monatlichen Arbeitsentgelt, welches der Mitarbeiter im Durchschnitt eines durchgehenden Zeitraums von 36 Monaten erhalten hat, in denen es am höchsten war, und wird ein (echtes) dreizehntes Gehalt ungeachtet des Zeitpunkts seiner Auszahlung im Jahresverlauf zeitanteilig verdient, gehört es zum monatlichen Arbeitsentgelt. 2. In Anbetracht der grundsätzlichen Weite des Begriffs des Arbeitsentgelts lässt sich aus der Verwendung der Worte "monatliches Arbeitsentgelt" in der Versorgungsordnung nicht schließen, pensionsfähig solle nur das regelmäßig gezahlte monatliche Grundgehalt sein; hätten die Gesamtbetriebsparteien dies zum Ausdruck bringen wollen, hätten sie eine einschränkende Definition verwenden müssen, die dann auch den detaillierten Katalog von Entgeltleistungen, die (ausnahmsweise) nicht zum pensionsfähigen Einkommen zu zählen sein sollen, obsolet gemacht hätte.