Soweit der Kläger meint, aus dem Urteil des BVerfG vom [DATE] [REF] ergebe sich, dass eine Beitragserhebung nur unter der Voraussetzung zulässig sei, dass eine hier nicht vorliegende Versorgungszusage des Arbeitgebers vorliege, verkennt er, dass sich die Versorgungszusage aus der Urkunde über die Direktversicherung ergibt. Auch wenn es sich bei dieser Urkunde um ein von dem Versicherer vorgefertigtes Formular handelt, ändert dies nichts daran, dass es sich bei dieser sowohl nach ihrem Wortlaut als auch nach ihrem Inhalt um die vom Arbeitgeber dem Arbeitnehmer gegenüber erteilte und in Übereinstimmung mit den Abreden im Versicherungsvertrag näher konkretisierte Versorgungszusage handelt. Denn es entspricht dem Interesse des Arbeitgebers als Vertragspartner im Vertragsverhältnis zum Versicherer wie zum Arbeitnehmer an inhaltlich übereinstimmende Vereinbarungen sowohl im Deckungs als auch im Valutaverhältnis gebunden zu sein .