[842] Schleifwerk (Schleifmühle), Maschine oder maschinelle Anlagen zum Schleifen von Gegenständen aus Metall, Glas, Stein etc.
Pierer-1857: Schleifwerk