f. d. Henningska huset.