https://www.dict.cc/german-english/Werkzeuggr%C3%B6%C3%9Fe.html