Hans-Dieter Flick and Quique Setién embrace. The Bayern boss almost has to prop Setién up, so stunned is the Barca manager. Setién stumbles off out of sight. At least their fans weren’t in the stadium to deliver their verdict. Unfortunately a few TV cameras were whirring away and the word will be out back home. He’s a goner. Bayern, by contrast, were quite magnificent, a proper team unit in the sense that it’s very difficult to pick a man of the match for them, so well did everyone play. Special mention for Alphonso Davies, though, for the outrageous skill that set up Bayern’s fifth. And if you thought I was exaggerating by suggesting Bayern could have scored 15: they had 26 attempts at goal tonight, compared to Barcelona’s eight. Bayern even scored one of Barca’s for them.

9.50pm BST

Bayern were so good. Barcelona were beyond pathetic. It’s not all bad news for Barca, mind you: Bayern could easily have scored about 15.