Kann mir jemand sagen, ob bei einer Zwangsversteigerung von Immobilien grundsätzlich immer die Notarkosten entfallen?

Das hrt sich jetzt luxuriöser an, als es tatsächlich ist: meine Schwester wohnt in einem Wohnkomplex, in dem eigentlich auch ein Swimmingpool für die Bewohner zur VErfügung steht. Der ist aber jetzt defekt udn kann nicht genutzt werden. Was kann man da jetzt für eine Mietminderung beim Vermieter ansetzen? Sie hat den Pool immerhin einmal in der Woche genutzt.