Gesetz zu dem Vertrag vom 20. Oktober 1992 zwischen der Bundesrepublik Deutschland und dem Königreich der Niederlande über Grenzberichtigungen (Zweiter Grenzberichtigungsvertrag)^*)