HÖHLE: In dem Bergbaue ist die Höhle ein halb rund ausgehauener Baum, ein Trog von einem gewissen Maße, das Erz darin fortzuschaffen. Gemeiniglich hält eine solche Höhle 16 Centner, oder 34 Körbe, oder 8 Karren.
Art. „Höhle“ in: Johann Georg Krünitz; Oekonomische Encyklopädie oder allgemeines System der Staats- Stadt- Haus- und Landwirthschaft:
http://www.kruenitz1.uni-trier.de/