567) Wo die Bergmännchen im Gebirge jetzt hingekommen sind.
Lehmann a.a.O. S. 190.
Es ist eine alte Rede, daß früher Zwerge oder Männlein im Gebirge gewohnt und sich endlich beklagt, sie müßten wegziehen, denn sie könnten das Pochen auf den Eisenhämmern und Zwittergebäuden nicht hören und vertragen, sie wollten aber wiederkommen, wenn die Hämmer aufhören würden.