¿Qué árbitro dirigió la final de la Copa de Europa entre el Real Madrid y la Juventus?