00h Liga dos Campeões, o FC Porto perdeu com o PSV Eindhoven