Im Santiago Bernabeu ertönte plötzlich die Liverpool-Hymne.