Ergänzungsprotokoll vom 17. Juli 1980 zum Zusatzabkommen über die Geltung des Abkommens zwischen der Schweizerischen Eidgenossenschaft und den Mitgliedstaaten der Europäischen Gemeinschaft für Kohle und Stahl für das Fürstentum Liechtenstein im Anschluss an den Beitritt der Republik Griechenland zur Gemeinschaft.