https://www.dict.cc/english-german/John%27s+sand+boa.html