actor: John Demjanjuk