Hartzerkleinerung

die Zerkleinerung von Steinen, Erzen u. Ä. durch Steinbrecher, Grob- und Feinschroter; besonders in der Gips-, Kalk- und Zementindustrie.