f. d. Hennigslta huset vid Gamle Port.