torget eller det s. k. teatertorget ; hvilket härmed kungöres.