f. d. Hennigska huset vid Kungsportsplatsen.