"Als Grubenlüfter bezeichnet man im Bergbau Ventilatoren, die der Bewetterung eines Bergwerks dienen." - (de.wikipedia.org 25.10.2023)