Schlagwort-Archive: Grubenholz

 

Grubenholz
(18. Jh.)

Holz zum Ausbau der Stollen und Schächte