Eisenausbau Bedeutung

Eisenausbau

Eisenausbau , Grubenausbau mit Guß- oder Schmiedeeisen, wird meist bei Herstellung von wasserdichtem Ausbau angewandt.
Gefunden auf https://www.retrobibliothek.de/retrobib/kuenstler/index_kuenstler_AE.html

---