Gesetz zu dem Vertrag vom 30. Oktober 1980 zwischen der Bundesrepublik Deutschland und dem Königreich der Niederlande über Grenzberichtigungen (Erster Grenzberichtigungsvertrag)
Art 2 

In den Gebietsteilen, die nach den Artikeln 1 und 2 des Vertrags der Bundesrepublik Deutschland zufallen, treten mit dem Zeitpunkt des Inkrafttretens des Vertrags die geltenden Vorschriften des Bundesrechts in Kraft. Gleichzeitig tritt das niederländische Recht in diesen Gebietsteilen außer Kraft.