Schwimmbad in einer Eigentumswohnanlage: Sanierung für EUR 750.000?