kändt under benämningen grufgas.