f. d. Ilenningska huset vid Gamle Port.