gasdetector-high temperature