Riksarkivets hus på Riddarholmen,