Drukstoot
1° Het verhoogen van den gasdruk in het distributienet. Deze dient om de gaslantarens der straatverlichting te ontsteken of te blusschen. Dank zij een speciale inrichting der ventielen, die men door verhoogen van gasdruk kan openen of sluiten, is men dus in staat vanuit een centraal punt de straatverlichting te bedienen. de Wilde2° E...
