“The broad outlines of the Double Cross deception have been known since 1972, when Sir John Masterman, the former chairman of the double agent committee, controversially published his account of the operation in defiance of official secrecy.”