1. Eine betriebliche Altersversorgung in Form einer Direktversicherung (§ 1 Abs. 2 Satz 1 BetrAVG) kann auch dann vorliegen, wenn die Prämien der Versicherung auf das Leben des Arbeitnehmers vereinbarungsgemäß anstelle einer Vergütung gezahlt werden sollen (Versicherung nach Gehaltsumwandlung). Auch diese Form der betrieblichen Altersversorgung ist nach § 7 Abs. 2 Satz 1 Nr. 2 BetrAVG insolvenzgeschützt. 2. Zu den Merkmalen einer betrieblichen Altersversorgung gehören das Versprechen einer Leistung zum Zweck der Versorgung, ein den Versorgungsanspruch auslösendes Ereignis wie Alter, Invalidität oder Tod sowie die Zusage an einen Arbeitnehmer durch einen Arbeitgeber aus Anlass des Arbeitsverhältnisses (ständige Rechtsprechung des Senats, vgl. zuletzt Urteil vom 8. Mai 1990 - 3 AZR 121/89 - AP Nr. 58 zu § 7 BetrAVG). Es gibt kein weiteres einschränkendes, ungeschriebenes Tatbestandsmerkmal "zusätzlich zum Barlohn entrichtete, freiwillige Arbeitgeberleistung". 3. Erteilt ein unwiderruflich bezugsberechtigter Arbeitnehmer nachträglich dem Arbeitgeber die Zustimmung zur Beleihung der Ansprüche aus dem Lebensversicherungsvertrag und entsteht durch die Beleihung eine Versorgungslücke, so schließt dies allein den Insolvenzschutz noch nicht wegen fehlender Schutzbedürftigkeit aus.