[822]Der Grubenbau, des -es, plur. car. eben daselbst, die Arbeit in der Grube oder unter der Erde, mit den dazu gehörigen Nebenarbeiten; zum Unterschiede von dem Hüttenbaue.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 2. Leipzig 1796, S. 822.