The records broken in Real Madrid’s Champions League final victory