so, das Martinshorn geht wieder ... war tatsächlich eine Undichtigkeit im Leitungssystem, die allerdings etwas versteckt war. Wenigstens nichts schlimmeres :-)

Vielen Dank nochmal für die Tipps!

Gruß,
Stefan