[1700] Die Zeugkosten, sing. car. im Bergbaue, die zur Unterhaltung der Kunstgezeuge, oder der Wasser-Maschinen nöthigen Kosten.