Riksarkivets nybyggnad å Riddarholmen,