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