Question: What was the German code name for the double agent that documented aspects of Faramus's ruse to join the Nazis?
Sentence (from "Code Name: Diamond Head"): Code Name: Diamond Head is a 1977 American spy film starring Roy Thinnes as an undercover counterintelligence officer known as Diamond Head whose mission is to stop a rogue double agent from stealing the formula for a new chemical weapon.
Relevant evidence: No