[748] Steinschneidung, 1) der Ort, wo sich das Gestein am Stahlbande von dem Gange abschneidet; 2) das Verfahren Edelsteine zu schleifen u. zu graviren.