So, hier ein Update. Heute hatte ich endlich Gelegenheit, den Mini auf eine Hebebühne zu stellen und die Benzinleitung zu inspizieren. Tatsächlich war das Schlauchstück vom Tank zur Metallleitung bereits brüchig und begann sich auch aufzulösen, und die Metalleitung selbst hatte kurz nach dem Übergang von diesem Schlauch auch ein kleines Leck. Wir haben die Metallleitung jetzt erwas gekürzt, und ein neues Schlauchstück zum Tank verlegt. Dzt. alles dicht, hoffentlich ist der Gestank jetzt Geschichte.
PS: mein Tank hat innerhalb von 2 Monaten Standzeit 1/4 seines Inhaltes verloren.
PPS: es hat eine Weile gedauert, bis die Benzinpumpe wieder Sprit gefördert hat, lange kam nur Luft.