Zehn Millionen Akten, Tausende PDF-Dateien, teils schwer lesbar: Wie ein Team der ZEIT die Nazi-Mitgliederkartei durchsuchbar machte – und welche Rolle KI dabei spielte.