grufva hör till dem , som äro ryktbara för sina gasexplosioner under jorden.