[576] Bühnloch, im Bergbau eine Vertiefung, in das Gestein eingehauen, um bei der Verzimmerung eines Baues das Ende eines Holzes darin auszulegen.
Adelung-1793: Bühnloch, das