Much of the verdict against Treholt is about information he was given access to at the Norwegian Defence College. Is it proven that he passed these on to the KGB?