Electric and electronic sensors for gas; Gas sensors and gas analyzers for measuring gas concentration, residual gas analyzers