Inmiddels het ding gevonden:
Met meteen al een nieuw probleem.
Het slangetje brak bij het terzijde leggen, zo bros als wat. Is zo'n ding nog nieuw te leveren?
Het dunne slangetje, dat er aan zit eindigt onder het gasklephuis, op zo'n stomme plek, dat je de ontgrendelpal niet goed kan indrukken.
Ik ben vast niet de eerste met deze puzzel.