Text this: Operation Eichmann :