Hvor mange danske producenter af røggasrensning findes på markedet netop nu?