Erling Haaland, Jeremy Doku and Rayan Cherki score second half goals after Ryan Gravenberch sent off. A second-half red card for Ryan Gravenberch changed the game. Key points and original sources are listed below.

• Erling Haaland, Jeremy Doku and Rayan Cherki score second half goals after Ryan Gravenberch sent off.S1

• A second-half red card for Ryan Gravenberch changed the game.S2