Theo như mình hiểu, thành tích ghi bàn của Pele lập được trong năm không có WorldCup (1959) còn thành tích ghi bàn của Mueller được ghi vào năm có Euro (tại Euro1972, Muller 4 bàn) cho nên thành tích của Pele vẫn được coi là một kỷ lục về thành tích ghi bàn trong năm không có WorldCup, hoặc Euro...