se enfrentó en la final de la Copa de Europa de 1964 —hoy Liga de Campeones— al F.