[Diario] Real Madrid fans singing in Manchester ahead of their game against City: “It’s Spanish, Gibraltar is Spanish.”