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