Unabhängig von der Frage, inwieweit die Einzelheiten der in § 23 Abs. 2 VBLS vorgesehenen Berechnungsmethode letztlich Bestand haben werden (vgl. dazu Senatsurteile vom 14.12.2011, 6 U 193/10 (Kart.), WuW-E DE-R 3478, abrufbar in juris, sowie vom 25.07.2012, 6 U 143/11), dient diese Gegenwertforderung - soweit sie berechtigt ist - zur Finanzierung der Verpflichtung der Beklagten, die betriebliche Altersversorgung der Beschäftigten des ausscheidenden Beteiligten, auf die diese auch gegenüber ihrem Arbeitgeber Anspruch haben, trotz des Ausbleibens der Umlagezahlungen zu gewährleisten.