nicht angemeldet
Hab's selber gelöst!
Der "Trick" war, das Ganze über strpos() zu versuchen. Dazu musste ich lediglich mein Array Stück für Stück durch diese Funktion schleusen. Das ist vielleicht nicht das Günstigste für die Performance, aber es tut. Ausserdem wird meine Text-Datei ja nicht riesig groß, so dass diese String-Operationen sich im Rahmen halten.
Danke für Eure Ideen!
Felix Riesterer.