lokaler på Riddarholmen skulle i framtiden kunna säljas med betydlig vinst för staten.