https://www.dict.cc/englisch-deutsch/miners+of+an+area.html