Text this: Grubengasanalyse im Kohlenbergbau