Grubenlüfter

Als Grubenlüfter bezeichnet man im Bergbau Ventilatoren, die der Bewetterung eines Bergwerks dienen.