The double-cross system in the war of 1939 to 1945 /