Gas analysis with infrared sensors from InfraTec