I also did not like them going after Demjanjuk, who was a captured Red Army soldier, given the choice to either work as a Camp Guard or get shot by the Germans.
Exactly.