BGH: Anspruch auf Mängelbeseitigung trotz fehlender Erfüllungswahl des Insolvenzverwalters?