Operation Sea Lion
Operation Sea Lion and the German spies.