wanneer Gaskabels vervangen?