Der institutionelle Rahmen des Betriebsrentenrechts wird auch nicht dadurch verlassen, dass der Versorgungsbezug aus bereits zu Sozialversicherungsbeiträgen herangezoge-nem Arbeitsentgelt finanziert worden ist. Auch wenn für das Steuerrecht der Grundsatz gilt, dass steuerbares Einkommen nur beim erstmaligen Zufluss bzw. bei der erstmaligen Realisierung zu versteuern sei, gelten nämlich für die Finanzierung der gesetzlichen Krankenversicherung andere Grundsätze, wenn man bedenkt, dass dieser Versiche-rungsschutz nicht nur während des Erwerbslebens, sondern auch nach dem Eintritt in den Ruhestand zur Verfügung gestellt wird. Das BVerfG hat in Konsequenz dessen ei-nen Verstoß gegen die Eigentumsgarantie aus [REF] und die wirtschaftliche Handlungsfreiheit der betroffenen Versicherten aus [REF] verneint. Die Äqui-valenz von Beitrag und Risikoabsicherung sei durch einen Beitrag auf berufsbezogene Versorgungsbezüge des Rentners nicht gestört .