Wie hieß die Operation mit der im Mai und Juni 1940 etwa 400.000 eingekesselte englische und französische Soldaten aus Dünkirchen nach England evakuiert wurden?