THE DOUBLE-CROSS SYSTEM In the War of 1939 to 1945