[880] Stoßbühne, eine kleine Bühne in dem kurzen Stoße der Schachte zum Ausruhen der Bergleute.
Adelung-1793: Stoßbühne, die