https://www.dict.cc/english-german/to+cut+sth+off+with+an+angle+grinder.html