Die in der Bundesrepublik Deutschland wohnhaften Kläger und Revisionskläger sind Ehegatten und wurden in den Streitjahren [DATE] bis [DATE] zusammen zur Einkommensteuer veranlagt. Der Kläger war in der Schweiz abhängig beschäftigt. Die Arbeitgeberin des Klägers erbrachte nach zwingendem schweizerischem Recht sowohl Arbeitgeberbeiträge zur Alters und Hinterlassenenversicherung als auch solche zur Invalidenversicherung. Daneben entrichtete sie für den Kläger Beiträge an eine Pensionskasse zur beruflichen Vorsorge bei Tod, Unfall und Invalidität. Während ein Teil der an die Pensionskasse erbrachten Arbeitgeberbeiträge aufgrund eines öffentlich-rechtlichen Versicherungsverhältnisses zwingend zu erbringen war , leistete die Arbeitgeberin darüber hinaus noch weitere Beiträge aufgrund eines privatrechtlichen Versicherungsvertrages . Auch der Kläger trug obligatorische sowie überobligatorische Pensionskassenbeiträge. Die Kläger hielten die von der Arbeitgeberin gezahlten Pensionskassenbeiträge für steuerfreie Arbeitgeberleistungen i.S. des [REF] es . Dem folgte der Beklagte und Revisionsbeklagte nicht und unterwarf die Arbeitgeberbeiträge der Einkommensteuer. Die dagegen nach erfolglosem Einspruchsverfahren erhobene Klage hat das Finanzgericht abgewiesen. Arbeitgeberbeiträge für abhängig beschäftigte Grenzgänger in die Schweiz seien schon dadurch in ausreichendem Maße steuerfrei gestellt, dass aufgrund gesetzlicher Verpflichtungen erbrachte Arbeitgeberleistungen bereits nach [REF] von der Besteuerung ausgenommen seien. Da hierdurch Arbeitgeberbeiträge für Grenzgänger in die Schweiz in annähernd gleichem Umfang wie Arbeitgeberleistungen für im Inland beschäftigte Arbeitnehmer zur deutschen gesetzlichen Rentenversicherung steuerfrei seien, sei dem Gleichbehandlungsgebot mehr als ausreichend Genüge getan. Mithin bedürfe es für überobligatorisch erbrachte Arbeitgeberleistungen an eine schweizerische Pensionskasse keiner Steuerfreiheit nach [REF] . Diese Steuerbefreiung greife abweichend von ihrem Wortlaut vielmehr nur dann ein, wenn der in der Schweiz tätige Arbeitnehmer von der ausländischen obligatorischen Rentenversicherung befreit worden sei. Sie beantragen,das Urteil des FG aufzuheben und unter Abänderung der jeweils am [DATE] ergangenen Einkommensteueränderungsbescheide für [DATE] bis [DATE] einen Betrag in Höhe von 0 CHF für [DATE] , 0 CHF für [DATE] , 0 CHF für [DATE] , 0 CHF für [DATE] und 0 CHF für [DATE] als steuerfrei zu behandeln. Die Revision ist unbegründet und daher zurückzuweisen . Im Ergebnis hat das FG die überobligatorisch an die Pensionskasse abgeführten Arbeitgeberleistungen zutreffend als einkommensteuerbare und nicht nach [REF] steuerfreie Arbeitgeberbeiträge behandelt. Zwischen den Beteiligten besteht zu Recht Einigkeit darüber, dass der Kläger Grenzgänger i.S. des Art. 0a des Abkommens zwischen der Bundesrepublik Deutschland und der Schweizerischen Eidgenossenschaft zur Vermeidung der Doppelbesteuerung auf dem Gebiete der Steuern vom Einkommen und vom Vermögen vom [DATE] i.d.F. des Änderungsprotokolls vom [DATE] DBA-Schweiz ist und daher dessen Einkünfte aus unselbständiger Arbeit in Deutschland als dem Ansässigkeitsstaat besteuert werden können. Da der Begriff der unselbständigen Arbeit im Abkommen selbst nicht definiert ist, ist soweit sich aus der Systematik des DBA-Schweiz nichts Gegenteiliges ergibt gemäß Art. 0 Abs. 0 DBA-Schweiz auf das nationale Recht abzustellen . Denn nach dieser Bestimmung hat bei Anwendung des Abkommens durch einen Vertragsstaat, wenn der Zusammenhang nichts anderes erfordert, jeder nicht anders definierte Ausdruck die Bedeutung, die ihm nach dem Recht dieses Staates über die Steuern zukommt, welche Gegenstand des Abkommens sind. Zu den Einkünften aus nichtselbständiger Arbeit gehören nach [REF] Gehälter, Löhne, Gratifikationen, Tantiemen und andere Bezüge und Vorteile, die für eine Beschäftigung im öffentlichen oder privaten Dienst gewährt werden. Arbeitslohn ist jeder gewährte Vorteil, der durch das individuelle Dienstverhältnis veranlasst ist. Zum Arbeitslohn können auch Ausgaben gehören, die ein Arbeitgeber leistet, um einen Arbeitnehmer oder diesem nahestehende Personen für den Fall der Krankheit, des Unfalls, der Invalidität, des Alters oder des Todes abzusichern Zukunftssicherung . Derartige Ausgaben des Arbeitgebers für die Zukunftssicherung des Arbeitnehmers sind nach [REF] steuerfrei, soweit der Arbeitgeber dazu nach sozialversicherungsrechtlichen oder anderen gesetzlichen Vorschriften oder nach einer auf gesetzlicher Ermächtigung beruhenden Bestimmung verpflichtet ist. Das gilt auch, wenn die Verpflichtung auf ausländischen Gesetzen beruht . Insoweit obliegt die Feststellung und Auslegung des ausländischen Rechts grundsätzlich dem FG ; das Revisionsgericht ist an die Feststellungen über Bestehen und Inhalt des ausländischen Rechts wie an tatsächliche Feststellungen gebunden , nachdem ihm gemäß [REF] die Prüfung des angefochtenen Urteils nur im Hinblick auf die Verletzung von Bundesrecht erlaubt ist . Steuerfrei sind ebenso Beiträge des Arbeitgebers zu einer Pensionskasse gemäß [REF] bis zu dem in [REF] bestimmten Umfang, wenn der Arbeitnehmer bei diesem Arbeitgeber nicht im Inland beschäftigt ist und der Arbeitgeber keine Beiträge zur gesetzlichen Rentenversicherung im Inland leistet. Auf die nach [REF] steuerfreien Arbeitgeberbeiträge sind nach [REF] Beiträge des Arbeitgebers zu einer Rentenversicherung aufgrund gesetzlicher Verpflichtung anzurechnen. Die Anrechnung nach [REF] umfasst nicht nur die Arbeitgeberbeiträge zu einer gesetzlichen Rentenversicherung und mithin die auf sozialversicherungsrechtlichen Vorschriften beruhenden Zukunftssicherungsleistungen des Arbeitgebers , sondern auch diesen gleichgestellte Leistungen . Dies sind nach Klarstellung durch das Steueränderungsgesetz [DATE] , vgl. BTDrucks 0/0, 0 die in [REF] genannten Zukunftssicherungsleistungen, also die Arbeitgeberbeiträge aufgrund anderer gesetzlicher Vorschriften oder aufgrund einer auf gesetzlicher Ermächtigung beruhenden Bestimmung. Bei im Inland beschäftigten Arbeitnehmern sind freiwillige Arbeitgeberleistungen an eine Pensionskasse als Arbeitslohn steuerbar und nicht nach [REF] steuerfrei. Zur Vermeidung einer Überprivilegierung von im Ausland beschäftigten Arbeitnehmern ist nach obigen Grundsätzen die Steuerfreiheit der für sie geleisteten freiwilligen Arbeitgeberleistungen nur auf solche Ausnahmefälle beschränkt, in denen verpflichtend zu erbringende Zukunftssicherungsleistungen lediglich eine Grundversorgung gewährleisten und deshalb unterhalb der Arbeitgeberleistungen i.S. des [REF] liegen. Nach diesen Grundsätzen hat das FG im Ergebnis zutreffend entschieden, dass die überobligatorisch an die Pensionskasse gezahlten Arbeitgeberbeiträge nicht steuerfrei sind. Denn nach den bindenden Feststellungen des FG zum schweizerischen Recht entrichtete die Arbeitgeberin die überobligatorischen Pensionskassenbeiträge infolge eines privatrechtlichen Versicherungsvertrags und mithin weder aufgrund gesetzlicher Vorschriften noch aufgrund einer auf gesetzlicher Ermächtigung beruhenden Bestimmung. Diese Feststellungen halten entgegen der Auffassung des FA einer revisionsrechtlichen Überprüfung stand. Sie verstoßen nicht gegen Denkgesetze oder allgemeine Erfahrungssätze und beruhen auf revisionsrechtlich nicht mit Erfolg angegriffenen Feststellungen des FG. Mithin greift das Vorbringen des FA nicht durch, die überobligatorischen Pensionskassenbeiträge beruhten auf einer in [REF] es über die berufliche Alters-, Hinterlassenen und Invalidenvorsorge geregelten Entrichtungspflicht und seien folglich gemäß [REF] steuerfrei. Auch greift die in der mündlichen Verhandlung erhobene Rüge der Kläger nicht durch, die Feststellungen des FG seien revisibel, weil die Revision nach [REF] auf die Verletzung des "Rechts" gestützt werden kann, wozu auch das ausländische Recht gehöre. Die Kläger übersehen dabei, dass nach der gegenüber [REF] spezielleren Bestimmung des [REF] eine Revision allein auf die Verletzung des Bundesrechts gestützt werden kann. Diese Arbeitgeberleistungen sind zwar Pensionskassenbeiträge i.S. des [REF] und als solche dem Grunde nach steuerfrei. Denn die Arbeitgeberin entrichtete sie für den bei ihr in der Schweiz beschäftigten Kläger. Überdies leistete sie für ihn keine Beiträge zur gesetzlichen Rentenversicherung im Inland, weil er wegen seiner Beschäftigung in der Schweiz nach [REF] buch nicht der inländischen gesetzlichen Rentenversicherungspflicht unterlag. Auch sind insoweit die auf tatsächlichem Gebiet liegenden und den BFH gemäß [REF] bindenden Feststellungen des FG zur Höhe der von der Arbeitgeberin überobligatorisch entrichteten Pensionskassenbeiträge revisionsrechtlich nicht zu beanstanden. Die tatsächliche Würdigung, dass die Arbeitgeberin mehr als die Hälfte der insgesamt überobligatorisch an die Pensionskasse entrichteten Beiträge erbrachte, ist nicht nur möglich, sondern auch naheliegend. Denn nach der ebenfalls bindenden Feststellung des FG hat der Arbeitgeber im Bereich der überobligatorischen Vorsorge nach Art. 0 Abs. 0 des Obligationenrechts mindestens gleich hohe Beiträge wie die gesamten Beiträge aller Arbeitnehmer nach schweizerischem Recht zu entrichten; folglich kann der im Überobligatorium geleistete Arbeitgeberbeitrag den vom Arbeitnehmer überobligatorisch gezahlten Pensionskassenbeitrag im Einzelfall überschreiten. Allerdings sind gemäß [REF] auf diese dem Grunde nach steuerfreien Arbeitgeberbeiträge die Zukunftssicherungsleistungen anzurechnen, die die Arbeitgeberin aufgrund gesetzlicher Verpflichtung erbracht hat. Dies sind die von der Arbeitgeberin obligatorisch geleisteten Zahlungen an die Pensionskasse und die von ihr entrichteten Beiträge zur schweizerischen Alters und Hinterlassenenversicherung sowie zur schweizerischen Invalidenversicherung, deren Höhe jeweils vom FG revisionsrechtlich bindend festgestellt wurde. Da die demnach anzurechnenden Arbeitgeberleistungen die überobligatorischen Arbeitgeberbeiträge an die Pensionskasse in sämtlichen Streitjahren übersteigen, verbleibt kein Betrag, der steuerfrei zu stellen ist. Einer Höchstbetragsberechnung nach [REF] bedarf es folglich nicht. Soweit das FA gegenüber den bindenden Feststellungen des FG in den einzelnen Streitjahren von höheren obligatorischen Pensionskassenbeiträgen der Arbeitgeberin ausgegangen ist und diese steuerfrei gestellt hat, steht einer Erhöhung der Einnahmen aus nichtselbständiger Arbeit das auch im Revisionsverfahren nach [REF] geltende Verböserungsverbot entgegen. Keinen Erfolg hat der Antrag der Kläger auf Berichtigung des Urteils nach [REF] hinsichtlich der Feststellungen des FG zu den überobligatorisch an die Pensionskasse erbrachten Arbeitnehmerbeiträgen. Das für diesen Berichtigungsantrag erforderliche Rechtsschutzbedürfnis ist mangels Entscheidungserheblichkeit nicht gegeben. Die Feststellungen des FG zur Höhe der vom Kläger überobligatorisch geleisteten Pensionskassenbeiträge sind nicht rechtserheblich, weil diese Arbeitnehmerbeiträge allenfalls bei der Ermittlung der Gesamtaufwendungen zur Berechnung des Höchstbetrages nach § 0 Nr. 0 Satz 0 0. Halbsatz i.V.m. Satz 0 0. Alternative EStG relevant sein könnten, es einer solchen Berechnung jedoch nicht bedarf .