The Double-Cross System in the War of 1939 to 1945