So what happened to Dunkirk?