https://www.dict.cc/englisch-deutsch/Baran%27s+adder.html