( Hennigska huset tid f. ; d. Gamle port ).