Bagger beschädigt Gasleitung