So what did we do with Klaus Fuchs?
Traded him to the Russkies, to East Germany where he spent the rest of his days.