Auktionskammares magasin å Riddarholmen,