Milan-Ferencváros, ufficiale la designazione dell'arbitro: c'è un precedente che fa sorridere gli ungheresi