som nu intages af Riddarhustorget,