An example of health hazard: people killed by gas during a phreatic eruption: Dieng Plateau (Java, Indonesia), February 20th 1979