Ausführungsgesetz zu dem Übereinkommen vom 5. April 1973 zwischen dem Königreich Belgien, dem Königreich Dänemark, der Bundesrepublik Deutschland, Irland, der Italienischen Republik, dem Großherzogtum Luxemburg, dem Königreich der Niederlande, der Europäischen Atomgemeinschaft und der Internationalen Atomenergie-Organisation in Ausführung von Artikel III Abs. 1 und 4 des Vertrags vom 1. Juli 1968 über die Nichtverbreitung von Kernwaffen (Verifikationsabkommen) (Ausführungsgesetz zum Verifikationsabkommen — VerifAbkAusfG) vom 7. Januar 1980