[736] Steingraus, grober Sand u. Steinstückchen, welche bei Bearbeitung der Steine abgehen.
Adelung-1793: Steingraus, der