The German term "Krokodil" matches the English term "crocodile"