Zusatzprotokoll vom 17. Juli 1980 zum Abkommen zwischen der Schweizerischen Eidgenossenschaft und der Europäischen Wirtschaftsgemeinschaft im Anschluss an den Beitritt der Republik Griechenland zur Gemeinschaft (mit Anhängen)