Consequences of the British loss at Dunkirk