Riksarkivets hus å Riddarholmen,