Schleifwerk (Schleifmühle), Maschine [* 3] oder maschinelle Anlagen zum Schleifen von Gegenständen aus Metall, Glas, [* 4] Stein etc.