Was ist praktisch am mathematischen Wissen?: Die Positionen des Bergmeisters J. A. Scheidhauer und des Baumeisters C. F. Steiner in der Zeit um 1800