Thank you!
They also messed up on guest star Willard Sage's character; in the credits, his character's surname was "Schmidt" but when spoken everyone called him "Doenitz" (as in rear admiral Karl Doenitz), hence the Anglicized spelling "Dernitts."
~Ben