Tenor Die Revision des Klägers gegen das Urteil des Landesarbeitsgerichts München vom [DATE] [REF] wird zurückgewiesen. Der Kläger hat die Kosten des Revisionsverfahrens zu tragen. Tatbestand Die Parteien streiten darüber, ob die Beklagte berechtigt ist, die Rente aus der gesetzlichen Rentenversicherung auf die wegen vorgezogener Inanspruchnahme gekürzten Versorgungsbezüge des Klägers anzurechnen. Der am [DATE] geborene Kläger war als Dienstordnungsangestellter bei der beklagten Berufsgenossenschaft beschäftigt. Er bezog zuletzt eine Vergütung nach der Besoldungsgruppe A 0 / Stufe 0 BBesG und wurde auf seinen Antrag mit Vollendung des 0. Lebensjahres zum [DATE] in den vorzeitigen Ruhestand versetzt. Seit dem [DATE] bezieht der Kläger von der Beklagten Versorgungsbezüge. Diese beliefen sich zunächst auf monatlich 0 Euro brutto. Wegen der vorgezogenen Inanspruchnahme der Versorgungsbezüge ab der Vollendung des 0. Lebensjahres nahm die Beklagte bei der Berechnung der Versorgungsbezüge von der erreichbaren Höchstpension nach [REF] von 0 Euro brutto einen Abschlag iHv. 0 vH nach [REF] , dh. iHv. 0 Euro brutto monatlich vor. Seit dem [DATE] erhält der Kläger von der Deutschen Rentenversicherung eine monatliche Altersrente iHv. 0 Euro brutto. Diese beruht auf Anwartschaften, die der Kläger in der Zeit vor seiner Anstellung als Dienstordnungsangestellter der Beklagten sowie durch die Pflege seiner Ehefrau seit [DATE] erworben hat. Um diesen Betrag kürzte die Beklagte die bis dahin gewährten Versorgungsbezüge des Klägers. Seit dem [DATE] zahlt sie an den Kläger Versorgungsbezüge iHv. 0 Euro brutto monatlich. Mit seiner am [DATE] beim Arbeitsgericht eingegangenen Klage hat sich der Kläger gegen die Anrechnung der Rente aus der gesetzlichen Rentenversicherung auf seine Versorgungsbezüge gewandt. Der Kläger hat die Auffassung vertreten, mit der von der Beklagten ab dem [DATE] vorgenommenen Kürzung der Versorgungsbezüge werde unzulässigerweise in rechtmäßig erworbene Versorgungsansprüche eingegriffen. Die um den Versorgungsabschlag von 0 vH wegen des vorzeitigen Eintritts in den Ruhestand gekürzte Pension iHv. 0 Euro brutto ergebe zusammen mit der Rente aus der gesetzlichen Rentenversicherung iHv. 0 Euro brutto einen Betrag von 0 Euro brutto. Damit werde die dem Kläger nach 0 Dienstjahren zustehende Höchstversorgung von 0 Euro brutto nicht überschritten. Durch die Anrechnung der gesetzlichen Rente auf die bereits wegen der vorzeitigen Zurruhesetzung gekürzten Versorgungsbezüge werde die Höchstversorgung zweimal gemindert. Dies verstoße gegen Art. 0 Abs. 0, Art. 0 Abs. 0 und Art. 0 Abs. 0 GG. Das Arbeitsgericht hat die Klage abgewiesen. Das Landesarbeitsgericht hat die Berufung des Klägers zurückgewiesen. Mit der Revision verfolgt der Kläger seinen Klageantrag weiter. Die Beklagte begehrt die Zurückweisung der Revision. Entscheidungsgründe Die Revision ist unbegründet. Das Landesarbeitsgericht hat die Berufung des Klägers gegen die klageabweisende Entscheidung des Arbeitsgerichts zu Recht zurückgewiesen. Die Klage ist unbegründet. Die Beklagte hat die dem Kläger ab dem [DATE] zustehenden Versorgungsbezüge nach § 0 Abs. 0 Satz 0, Abs. 0 Satz 0 und Satz 0 Nr. 0, [REF] zutreffend ermittelt. Die Höchstgrenze für die Versorgungsbezüge des Klägers einschließlich der von ihm bezogenen Rente aus der gesetzlichen Rentenversicherung ist das aufgrund der vorgezogenen Inanspruchnahme der Versorgungsbezüge nach [REF] verminderte Ruhegehalt. [REF] ist verfassungsgemäß. Die Versorgung des Klägers als vormaligem Dienstordnungsangestellten der beklagten Berufsgenossenschaft bestimmt sich nach dem Beamtenversorgungsgesetz. Die Beklagte hat die dem Kläger ab dem [DATE] zustehenden Versorgungsbezüge zutreffend berechnet. Sie hat von der dem Kläger aufgrund seiner Dienstzeit von 0 Dienstjahren zustehenden Höchstversorgung iHv. 0 Euro brutto monatlich wegen der vorzeitigen Zurruhesetzung mit Vollendung des 0. Lebensjahres nach [REF] einen Abschlag von 0 vH monatlich vorgenommen. Dagegen wendet sich der Kläger nicht. Auf den sich daraus ergebenden Betrag von 0 Euro brutto hat die Beklagte zu Recht die dem Kläger seit dem [DATE] gewährte Rente aus der gesetzlichen Rentenversicherung angerechnet. Nach [REF] werden Versorgungsbezüge neben Renten aus der gesetzlichen Rentenversicherung nur bis zum Erreichen bestimmter Höchstgrenzen gezahlt. Ist das Ruhegehalt nach [REF] gemindert, ist das für die Höchstgrenze maßgebende Ruhegehalt nach [REF] in sinngemäßer Anwendung des [REF] festzusetzen. Bei einem vorzeitig in den Ruhestand getretenen Beamten ist die Höchstgrenze iSv. [REF] daher das um die Abschläge nach [REF] verminderte Ruhegehalt. Das Ruhegehalt des Klägers darf daher einschließlich der Rente aus der gesetzlichen Rentenversicherung 0 Euro brutto monatlich nicht überschreiten. Da der Kläger seit dem [DATE] aus der gesetzlichen Rentenversicherung eine Rente iHv. 0 Euro brutto monatlich bezieht, hat die Beklagte dem Kläger zu Recht seit diesem Zeitpunkt lediglich ein Ruhegehalt iHv. 0 Euro brutto monatlich gezahlt. Die Anrechnung der gesetzlichen Rente auf die Versorgungsbezüge verstößt nicht gegen die Eigentumsgarantie aus [REF] . Die durch [REF] geschützten Rentenansprüche des Klägers werden durch die Anrechnung auf seine Versorgungsbezüge nicht entwertet oder eingeschränkt. Ihm wird die gesetzliche Rente in vollem Umfang ausbezahlt. Der Bezug der gesetzlichen Rente führt lediglich zur Kürzung der Versorgungsbezüge des Klägers. Die Versorgungsbezüge werden jedoch gesondert durch [REF] geschützt, der als lex specialis [REF] vorgeht . Das in [REF] enthaltene Alimentationsprinzip wird durch die Anrechnungsregelung in [REF] nicht verletzt. Zwar muss der Gesetzgeber bei der Ausgestaltung der Beamtenversorgung das zu den hergebrachten Grundsätzen des Berufsbeamtentums zählende Alimentationsprinzip beachten. Er hat aber dabei einen weiten Gestaltungsspielraum. Die angemessene lebenslange Alimentation des Beamten und seiner Familie ist auch unter Berücksichtigung der Anrechnungs bzw. Ruhensvorschriften des [REF] gewährleistet . Die Beamtenversorgung sichert dem Versorgungsberechtigten eine Alimentation ausgehend von dem zuletzt wahrgenommenen Amt und der entsprechenden Besoldungsgruppe. Das Hinzutreten gesetzlicher Rentenansprüche kann zu einer gemessen am Versorgungsziel überhöhten Gesamtversorgung führen. Darauf beruht die Ruhensregelung in [REF] . Der Dienstherr kann sich von seiner Alimentationspflicht dadurch entlasten, dass er den Versorgungsberechtigten auf Einkünfte aus einer anderen öffentlichen Kasse verweist, sofern diese ebenfalls der Existenzsicherung des Versorgungsberechtigten und seiner Familie dienen. Die Renten aus der gesetzlichen Rentenversicherung sind solche Einkünfte . Durch die Anrechnung der gesetzlichen Rente auf die Versorgungsbezüge wird bei sog. Systemwechslern, die aus einem rentenversicherungspflichtigen Anstellungsverhältnis in den Beamtenstatus wechseln, eine „Doppelversorgung”, die die höchstmögliche Versorgung eines „Nur-Beamten” übersteigen würde, vermieden. Darüber hinaus werden Doppelzahlungen aus öffentlichen Kassen verhindert und die Einsparung von Haushaltsmitteln bezweckt. Diese Zwecke werden dadurch erreicht, dass die Gesamtleistung von Rentenversicherung und Beamtenversorgung durch einen Höchstbetrag, nämlich die höchst erreichbare Pension, „gekappt” wird. Versorgungsbezüge ruhen, soweit beide Leistungen zusammen diese Kappungsgrenze überschreiten . Diesen Zwecken dient nicht nur die Höchstgrenze nach [REF] , sondern auch die Regelung in [REF] . Die Bestimmung verhindert, dass die Kürzung des Versorgungsbezugs nach [REF] wegen vorgezogener Zurruhesetzung bei Anwendung der Ruhensregelung nach [REF] unterlaufen wird. Durch die Regelung in [REF] bleibt die durch [REF] angeordnete Kürzung der Versorgungsbezüge für die Gesamtdauer der Versorgung wirksam . Ohne [REF] hätte die Kürzungsregelung des [REF] keine Bedeutung, wenn dem Versorgungsempfänger nach [REF] anrechenbare Versorgungsleistungen zustehen. [REF] ist erforderlich, um den Regelungsplan des Gesetzgebers vollständig umzusetzen. Das zu den tragenden Grundsätzen des [REF] gehörende Leistungsprinzip verlangt, dass die Länge der aktiven Dienstzeit sich in der Höhe der Versorgungsbezüge niederschlägt . [REF] will ausschließen, dass die Gesamtversorgung, die der Renten beziehende Versorgungsempfänger aufgrund seiner gesamten Lebensarbeitszeit erhält, höher ist als die Versorgung, die einem vergleichbaren „Nur-Beamten“ aufgrund der gleichen Lebensarbeitszeit gezahlt wird . Daher ist es gerechtfertigt, dass die Höchstgrenze in [REF] eine Kürzung der Versorgungsbezüge wegen vorgezogener Inanspruchnahme nach [REF] berücksichtigt. Die Lebensarbeitszeit ist bei einer vorgezogenen Inanspruchnahme der Versorgungsbezüge sowohl bei „Systemwechslern“ als auch „Nur-Beamten“ gleich. Durch die Anrechnung der Rente aus der gesetzlichen Rentenversicherung auf die nach [REF] gekürzten Versorgungsbezüge wird verhindert, dass im Falle der vorzeitigen Zurruhesetzung ein „Systemwechsler“ eine höhere Gesamtversorgung erhält als ein vergleichbarer „Nur-Beamter“. Beide erhalten eine Versorgung aus öffentlichen Kassen in derselben Höhe. Der Gleichheitssatz gebietet dem Gesetzgeber, unter stetiger Orientierung am Gerechtigkeitsgedanken, wesentlich Gleiches gleich und wesentlich Ungleiches ungleich zu behandeln. Dabei genügt im Regelungsbereich des Besoldungs und Versorgungsrechts ein sachlicher Grund für eine gesetzliche Differenzierung; der Gesetzgeber muss nicht die zweckmäßigste, vernünftigste oder gerechteste aller möglichen Lösungen gewählt haben . Danach verstößt die Differenzierung zwischen Beamten, die Versorgungsbezüge vorgezogen in Anspruch nehmen, und Beamten, die bis zum Erreichen der Regelaltersgrenze im Dienst verbleiben, bei der Festlegung der Höchstgrenzen für die Versorgungsbezüge entgegen der Auffassung der Revision nicht gegen den Gleichheitssatz. Die beiden Personengruppen befinden sich nicht in einer vergleichbaren Lage. Der vor Erreichen der Regelaltersgrenze zur Ruhe gesetzte Beamte hat nicht bis zur Regelaltersgrenze seinen Dienst erfüllt, sondern ist vorzeitig ausgeschieden. Im Übrigen stellt die Betriebstreue bis zur Regelaltersgrenze und die damit verbundene längere Betriebs bzw. Diensttreue einen hinreichenden sachlichen Differenzierungsgrund für die unterschiedlichen Höchstgrenzen dar. Daran ändert auch der Hinweis der Revision auf den Nachteil des „Systemwechslers“, der unter dem System der gesetzlichen Sozialversicherungspflicht anders als ein Beamter einen rund 0prozentigen Abzug vom Bruttoentgelt hinnehmen muss, nichts. Bei der gesetzlichen Rentenversicherung der Arbeitnehmer einerseits und der Beamtenversorgung andererseits handelt es sich um verschiedene Versorgungssysteme, die nicht miteinander vergleichbar sind. Die Beitragspflicht zur Sozialversicherung während des Bezugs von Arbeitsentgelt gebietet es nicht, dem „Systemwechsler“ eine höhere Gesamtversorgung aus öffentlichen Kassen zu gewähren als dem „Nur-Beamten“.