Leichtstein

[242] Leichtstein, Blech, womit das Grubenlicht geputzt wird.

Quelle:
Pierer's Universal-Lexikon, Band 10. Altenburg 1860, S. 242.
Lizenz:
Faksimiles:
Kategorien: