20170501 sports.football.champions-league: Four previous European Madrid derby clashes