Gesetz zu dem Vertrag vom 30. Oktober 1980 zwischen der Bundesrepublik Deutschland und dem Königreich der Niederlande über Grenzberichtigungen (Erster Grenzberichtigungsvertrag) Art 6
(1) Dieses Gesetz tritt am Tage nach seiner Verkündung in Kraft.
(2) Der Tag, an dem der Vertrag nach seinem Artikel 8 in Kraft tritt, ist im Bundesgesetzblatt bekanntzugeben.