Hallo Tina,
habe zwei Gärtnereien die Sedum pilosa haben müssten oder besorgen können:
Alpine Staudengärtnerei - www.alpiner-garten.de
Staudengärtnerei Alpine Raritäten Jürgen Peters, Uetersen
Die Pflanze an dem Teich ist wohl eine Saxifraga arendsii, davon gibt es ja unendlich viele Sorten...