f. d. Hallénska gärden vid Storgatan.