Betreiber von Bohrinseln und Bergwerken müssen Leitungen regelmäßig nach größeren Methanlecks durchsuchen - und sie reparieren. Paul Vorreiter berichtet