[1252] Das Bǖhnlóch, des -es, plur. die -lcher, im Bergbaue, Löcher im Gesteine, die Stämpel zu den Bühnen hinein zu legen.
Meyers-1905: Bühnloch