European Cup and UEFA Champions League records and statistics - May 31