Grubenkleid, das

Das Grubenkleid, des -es, plur. die -er, ein jedes Kleidungsstück, womit sich der Bergmann bey seiner Arbeit in der Grube bekleidet; besonders der Grubenkittel.