f. d. Benterfeltska huset vid Kaserntorget.