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