Ventile Öl- und Gasleitung bei der Drucksicherheit von Gasanlagen.