Colloquium on secret intelligence and the Holocaust