Gesetz zu dem Vertrag vom 30. Oktober 1980 zwischen der Bundesrepublik Deutschland und dem Königreich der Niederlande über Grenzberichtigungen