Jetzt mal blöd gefragt:
wird durch die Splittung in mehrere Files irgendwas besser/schneller???
Rentiert sich der Aufwand (und die Gefahr nochmal 6 GB laden zu müssen)?
Klar, es muss dann nicht mehr ein Monsterfile durchsucht werden; andererseits muss auch nur eine Datei geöffnet werden (File-IO).
Oder sehe ich da was falsch?