Der LochsteinDer Lochstein, [2087-2088] des -es, plur. die -e, ein Gränzstein, besonders im Bergbaue, wo eines ieden Gruben und Districte mit solchen Steinen bemerket werden; der Schnurstein. Entweder von Loch, in der weitesten Bedeutung eines Ortes, Franz. lieu, Lat. locus, oder auch von lachen, mit einem eingeschlagenen Zeichen bemerken, für Lachstein. S. 1. Lachen, 1 Lochen und Lochbaum. | |