Periodiek onderhoud van gasinstallatie.