Praxis der Gasinstallation: Kommentar zur DVGW-TRGI 2018