https://www.dict.cc/englisch-deutsch/berg+adder.html