Alter Mann [2]

[364] Alter Mann, 1) so v.w. Greis; 2) (Bergb.), ausgehauene u. wieder ausgefüllte Grubenräume.

Quelle:
Pierer's Universal-Lexikon, Band 1. Altenburg 1857, S. 364.
Lizenz:
Faksimiles:
Kategorien: