( Petersénska gärden vid Stortorget)