Ich habe gehört, dass der Hauptpool renoviert werden soll. Gibt es dafür ein Datum? Oder einen ungefähren Zeitraum?
Das weiß ich nicht.
Wir haben gehört das dies im Sommer gemacht werden soll, aber nur so gehört.
