devil's riding-horse (mantis carolina) - German English Dictionary