Lindergrenska gärden vid Jerntorget,