Vielen Dank für die ausführlichen fachmännischen Antworten. Abdichten und den Druckschalter wechseln werde ich wohl versuchen.
Jetzt noch eine letzte Frage. Angenommen ihr müsstet die Speckpumpe austauschen und hättet nur die Informationen die ich schon angeführt habe, welche Alternative würdet ihr empfehlen? Auch mit der Gefahr, dass es aus irgendwelchen Gründen, die ihr nicht kennt (oder für die ich zu blöd bin um sie zu beschreiben, zu verstehen), nicht funktionieren würde.
Viele Grüße und nochmal Dank für die Mühe