( Gamle port , t. d. Henningska huset ).