f. d. Henningska huset vid Gamle Port.