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