f. d. Henningska huset gamleport.