Rückzahlung des Baukostenzuschusses nach Zwangsversteigerung an Mieter?