Die Ventilationsmaschinen der Bergwerke. Hauer, Julius Ritter von: