Allereerst zit er in een HRC23 geen vonkontsteking maar een gloeiontsteking.
Neemt niet weg dat daar het probleem niet in kan zitten.
Naar gelang de leeftijd van het toestel, zou ik even kijken of de beschermkap van de gloeiplug de gloeispiraal raakt of niet.
De beschermkap is nl massa, en als die in contact komt met de gloeispiraal zelf gaat de aardlekschakelaar eruit (op het gloeimoment).
Andere mogelijkheid is dat de automatische ontluchter linksboven in de ketel lekt, zodat er water valt op de bedrading van de ketel, en deze dus een kortsluiting veroorzaakt.
suc6