Gesetz zu dem Vertrag vom 30. Oktober 1980 zwischen der Bundesrepublik Deutschland und dem Königreich der Niederlande über Grenzberichtigungen (Erster Grenzberichtigungsvertrag) Eingangsformel
Der Bundestag hat mit Zustimmung des Bundesrates das folgende Gesetz beschlossen:
