Eigentor oder nicht?

[GMT]

Ach so, noch eins obendrauf:

Voriges Jahr hatte ich mal ein Spiel, da stand im Spielprotokoll, der Spieler Nr. 7 sei in der xx. Minute gegen Spieler Nr. Y ausgewechselt worden.

Im Fernsehen klar zu sehen war, daß der ausgewechselte Spieler zwei Ziffern auf dem Rücken hatte: 17.

Ein Fehler in den Aufzeichnungen des Schiedsrichters, der sicherlich ärgerlich ist - aber weder Einfluß auf den Spielverlauf hatte noch der Hauptaufgabe des Schiedsrichters, "den Regeln Geltung zu verschaffen" irgendwie zuwiderlief.

Selbstverständlich steht in meiner DB, daß Spieler 17 ausgewechselt wurde...