Art. 7 Gesetz zum Protokoll über die NATO-Hauptquartiere und zu den Ergänzungsvereinbarungen