Farewell to Gianni Vasino, one of the historic faces of football on TV