https://www.dict.cc/english-german/polishers+for+resins+and+ceramics.html