Indoor swimming pools are popular leisure and sports facilities all over the world. Compared to normal buildings, indoor swimming pools have several challenges regarding ventilation, heating and dehumidification. In order ...