Dann kommt es halt darauf an, was der Schiedsrichter im Spielbericht angibt.