Wasserleitung ggf beschädigt?

Hallo zusammen,


wir haben nach einem Wasserschaden im letzten Jahr jetzt neuen Estrich im Keller bekommen.
Der Estrich ist auch gut geworden, beim Verlegen ist aber etwas passiert, wo Ihr mir vielleicht bei der Einschätzung helfen könnt.

Der Schlauch, mit dem der Estrich in den Keller gepumpt wurde, ist durch den Lichtschacht eingeführt worden.
Da der Schlauch bein Pumpen sich stark bewegt und hin und her schlägt, hatten die Kollegen die "schlaue" Idee, diesen Schlauch an der Wasserleitung zu befestigen, damit er nicht so wackelt.


Konkret war er an dem Filter(?) oder was das ist mit einem Seil befestigt, siehe Foto, ist da rot umrandet.
Das Foto ist entstanden, nachdem die Befestigung gelöst war, deswegen ist das Seil nicht mehr da.


Der Schlauch war dann jedenfalls halbwegs fixiert, aber dafür hat er ganz schön an der Leitung gezerrt, insbesondere der Filter hat schon gut "mitgewackelt".
Als ich das gesehen hab, hab ich das ganze unterbunden und die Kollegen haben den Schlauch dann anders fixiert.

Augenscheinlich ist jetzt noch alles dicht, die Aktion war vor dem Wochenende, bis jetzt tropft da nix oder so. Die Leitung ist jetzt auch sonst fest und es wackelt nichts.

Jedenfalls stellt sich mir jetzt die Frage, ob die ganze Aktion Folgeschäden an meiner Wasserleitung hervorrufen haben könnte und wie man das feststellt (bevor es zu spät ist ...) ?