Stadens vestra del med qvarteren Riddarholmen,