ners tomter ä Riddarholmen.