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