Die definitionen des Wortes GRUBENGAS3ANDERE BEZEICHNUNG FUR SCHLAGWETTER IM BERGBAUMETHANGEFAHR FUR BERGLEUTE