Building Ventilation and the Principle of Diversity