Ventilation of traffic tunnels