Grūbenerz
, des -es, plur. von mehrern Arten und Quantitäten, die -e, im Bergbaue, Erz, welches in der Grube gewonnen worden, im Gegensatze desjenigen, welches am Tage gefunden, oder aus dem Sande gewaschen wird.