Mancher Bergmann erinnert sich, dass schon sein Vater oder gar sein Großvater vom alten Mann aus dem Berge sprachen, den sie manchmal auch den Grubenalten oder den Bergalten genannt hatten.

Accessibility Toolbar