Bauarbeiter beschädigen Gasleitung in Höllstein