giomber-mantis [m] Heuschreckenkrebs, Fangschreckenkrebs [m].