The Blitzkrieg legend : the 1940 campaign in the West