demonstratie toestel voor de diffusie van gas, mijngasdetector