Wie undicht darf eine Gasleitung sein?