Email Record: Distribution of air in metal-mine ventilation with especial reference to flexible tubing methods.