0.515.031.1 — Zusatzprotokoll vom 16. Juni 2000 zum Abkommen zwischen der Schweizerischen Eidgenossenschaft und der Internationalen Atomenergieorganisation über die Anwendung von Sicherungsmassnahmen im Rahmen des Vertrages über die Nichtverbreitung von Kernwaffen (mit Anhängen)