Récord con el árbitro Willy Ruch