https://www.dict.cc/english-german/Bornmuller%27s++Bornm%C3%BCller%27s+fir.html