"Operation Finale", ein Film über die Eichmann-Jagd