De resterende druk in een gasleiding bij het in bedrijf zijn van een aangesloten gastoestel in een gasinstallatie