FC Barcelona’s record European win, by the numbers