( Hennigska huset vid f. d. Gamle port ).