Wie oft muss eine Gasleitung überprüft werden?