Wie lange hält eine Gasleitung?