Now open for business: The “International Research Portal” on Nazi-era looting of objects of art