Hennigska linset vid f. d. Gamle port,