“Opération Eichmann”