fördelaktig deriör , att statens tomter på Riddarholmen då blefve till försäljning lediga,