"Funktionelle Mitwirkung am Morden". Demjanjuk-Prozess geht zu Ende