Esta operación se llamó "Operación Krüger" (ver: Reinhard Heydrich).