Hat Marin eigentlich gespielt, oder nicht? Laut kicker.de saß er 90 Minuten auf der Bank (warum zum Henker sitzt der beste Spieler der letzten Wochen draußen?), aber laut ARD-Videotext hat er über 90 Minuten auf dem Platz gestanden. Was stimmt nun?