Mietminderung nach Wasserschaden – wie viel ist sinnvoll?