https://www.dict.cc/english-german/Stokes%27s+sea+snake.html