1. Der in § 56 Abs 4 Nr 3 Halbsatz 2 SGB VI normierte Ausschlusstatbestand für die Anrechnung von Kindererziehungszeiten in der gesetzlichen Rentenversicherung greift unabhängig davon, ob und in welchem Umfang nach beamtenrechtlichen Vorschriften die Erziehung bei der Versorgung zeitlich und finanziell im Einzelfall tatsächlich Berücksichtigung findet. Da § 56 Abs 4 Nr 3 Halbsatz 2 SGB VI als speziellere Regelung § 56 Abs 4 Nr 3 Halbsatz 1 SGB VI vorgeht, ist allein ausschlaggebend, dass das System der Beamtenversorgung - in das hier die Klägerin seit dem 1.2.1982 einbezogen ist - grundsätzlich Leistungen für die Kindererziehung vorsieht, ohne dass im Einzelfall eine Berücksichtigung erfolgt sein muss. 2. § 56 Abs 4 Nr 3 Halbsatz 2 SGB VI ist verfassungsrechtlich nicht zu beanstanden. Der Gesetzgeber durfte bei der Berücksichtigung von Kindererziehungszeiten eine pauschale Abgrenzung zur Beamtenversorgung vornehmen und dabei in Kauf nehmen, dass sich Zeiten der Kindererziehung in den beiden Systemen unterschiedlich und im Einzelfall im System der Beamtenversorgung überhaupt nicht auswirken.