[1087]Verlochsteinen, verb. regul. act. mit Lochsteinen, d.i. Gränzsteinen versehen, ein nur in dem Bergbaue übliches Wort. Eine Grube verlochsteinen. Daher die Verlochsteinung. Siehe Lochstein.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 4. Leipzig 1801, S. 1087.