Copa de la UEFA: ¿Qué dos equipos disputaron la final de la temporada 1972/73?