Compressed air for industrial use