[Achtung: Schreibweise von 1811] Das Bühnloch, des -es, plur. die -löcher, im Bergbaue, Löcher im Gesteine, die Stämpel zu den Bühnen hinein zu legen.
Ein ins feste Gestein gehauenes Loch um ein Kappenende oder einen Stempelfuß unverrückbar aufzunehmen.