Statt stundenlanger Recherche analysiert „Vera“ vom US-Konzern Palantir riesige Datenmengen in Sekundenschnelle. Die Polizei spart Zeit – doch Datenschützer sehen Risiken