[913] Steinschleiferei, die Bearbeitung von Bau-, Ornament-, Schmuck- und Edelsteinen mit Schleif- und Poliermitteln; s. Steinbearbeitungsmaschinen und Edelsteine.
Lueger-1904: Steinschleiferei