Record Roger Schmidt e o desempate por penáltis: «O Marselha teve melhores executantes do que o Benfica»