What is your source for this information?
But you're right, his name wasn't Koenig. He was an SS Colonel named Heinz Thorwald. He was still head of the Sniper School.
The funny thing is, I distinctly recall the documentary stating that the guy's name was Koenig! That's quite strange. It is possible that there was another German in the theater who was a sniper named Koenig and the producers of the documentary made a mistake.
Now that is strange! Anyhoo, here's a link for you....
http://216.198.255.120/russianpart/russnipers.html
Thanks for the correction. It's not often I make a complete boner like that. However, same story, different name. Wonder why the movie people changed the name to Zaitsev, as well.
Be Seeing You,
Chris