Die Vorschriften über die Berechnung der Renten der Alters- und Hinterlassenenversicherung stellen abgesehen von Art. 52f Abs. 2bis AHVV (Anrechnung von Erziehungsgutschriften bei geschiedenen oder unverheirateten Eltern, welchen die elterliche Sorge gemeinsam zusteht) zwingendes Recht dar. Der gegenseitige Verzicht der Ehegatten auf nacheheliche Unterhaltsleistungen und auf Leistungen im Hinblick auf die Altersvorsorge im Rahmen der 2. Säule hat daher nicht zur Folge, dass bei Eintritt des Versicherungsfalles (Alter oder Tod) die Renten ohne Einkommenssplitting zu berechnen wären. Dies gilt vorbehältlich anders lautender Staatsverträge auch für nicht in der Schweiz getroffene und nicht schweizerischem Recht unterliegende Scheidungsvereinbarungen. (Erw. 1.1)