f. d. Hennigska huset vid Gamle Port.