Eigentumswohnanlage: Dachterrasse wird saniert – wer muss zahlen?