Meaning of "mantis" in English language

German to English English to German