Eintrag · Campe (1807–1813)
Lochstein Der
Der Lochstein, — es, Mz. — e. 1) Ein Grenzstein, besonders im Bergbaue; der Schnurstein. Lochortsteine heißen im Bergbaue die zwei Steine welche bei Vermessung eines Feldes nach Ausgang der 14 Lachter vom Pfahle aus, auf beiden Seiten in gerader Linie einander gegenüber gesetzt werden. Lochort= und Mittelsteine sind solche Lochsteine die man in gerader Linie zwischen die Lochortsteine setzt. Lochstein in der Grube fällen heißt den Ort in der Grube angeben, wo nach Maßgabe des am Tage gesetzten Lochsteines sich die benachbarten Felder trennen, welches durch den Markscheider geschieht und [] durch ein Zeichen, die Erbstufe am gefundenen Orte bezeichnet wird. 2) So viel als Lochkuchen. S. d.