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