Hallo Dirk.
Herzlich Wilkkommen im Forum.
Was für ein Teich soll es letztendlich werden? Mit oder ohne Fischbesatz? Könnt ihr schon eine Tiefe des Teichbeckens abschätzen?
Ich würde die Ziegelmauer lediglich vom alten Putz befreien und komplett neu verputzen / spachteln. Die obere Kante würde ich zusätzlich mit einem Beton-Ringanker versehen, wodurch sie auch etwas höher kommt, so dass vom Rasen aus nichts in den Teich laufen kann. Die Abdecksteine würde ich dann auf dem Ringanker neu platzieren.
Für die Wände natürlich Putzgewebe nutzen und dann Vlies und Folie einlegen. Die Folie faltenfrei vor Ort verlegen lassen, da es kaum Falten geben wird und der Materialbedarf meist geringer ausfällt, als ganze Folie am Stück.