Carbon dioxide. Liquid carbon dioxide used to extinguish gob fire in German coal mine; by George S. Rice and Irving Hartmann.