Nach den allgemeinen Grundsätzen des Betriebsrentenrechts ist zur Berechnung der vorgezogen in Anspruch genommenen Betriebsrente eines vorzeitig aus dem Arbeitsverhältnis ausgeschiedenen Arbeitnehmers zunächst in entsprechender Anwendung von [REF] die fiktive Vollrente unter Berücksichtigung von Veränderungssperre und Festschreibeeffekt zu ermitteln. Die so ermittelte fiktive Vollrente ist sodann zeitratierlich entsprechend [REF] im Verhältnis der tatsächlichen Betriebszugehörigkeit zu der möglichen Betriebszugehörigkeit bis zur festen Altersgrenze zu kürzen. Der so errechnete Betrag ist die Versorgungsleistung, die dem vor Eintritt des Versorgungsfalls ausgeschiedenen Arbeitnehmer bei Inanspruchnahme der Leistung ab der festen Altersgrenze zustünde. Wegen der vorgezogenen Inanspruchnahme der Versorgungsleistung ist von diesem Betrag ggf. der sog. untechnische versicherungsmathematische Abschlag vorzunehmen. Dabei ist die Zeit zwischen dem Beginn der Betriebszugehörigkeit bis zur vorgezogenen Inanspruchnahme der Betriebsrente ins Verhältnis zu setzen zur möglichen Betriebszugehörigkeit bis zu der in der Versorgungsordnung bestimmten festen Altersgrenze oder, wenn die Versorgungsordnung keine feste Altersgrenze vorsieht, bis zur Regelaltersgrenze .