What is the highest number of goals a footballer has scored at a World Cup?

Explanation

At the World Cup in 1958 in Sweden the Frenchman Just Fontaine became the top scorer. He scored a total of 13 goals in Frances six matches, including four goals in bronze battle against West Germany which France won 6-3. The 13 goals is the highest number of goals scored by one player in a single World Cup Final ever.