https://www.dict.cc/german-english/Veracruz+Horn+Lanzenotter.html