större och prydligare torg , det s. k. Riddarhustorget dss