b ) nybyggnad vid Jerntorget,