4c und 5, nicht veröffentlichte Erw. 3 des in BGE 116 V 333 teilweise publizierten Urteils A. vom 26. September 1990, B 12/89; zur Rechtsbeziehung Arbeitgeber/Vorsorgeeinrichtung im Allgemeinen statt vieler: Jürg Brühwiler, Obligatorische berufliche Vorsorge, in: Schweizerisches Bundesverwaltungsrecht [SBVR], Soziale Sicherheit, S. 28 Rz. 60 ff.; zur Auslegung vorformulierter Bestimmungen eines Versicherungsvertrages: BGE 122 III 122 ff. Erw. 2c und d). Entgegen der Vorinstanz vermag schliesslich der Umstand, dass die Beschwerdegegnerin offenbar den vereinfachten Nachweis für Sondermassnahmen erfüllt hat ( Art. 70 BVG und Art.