Das Eiermann-Magnani-Haus. Die Geschichte der Instandsetzung