String in seeeehr grossen Textdateien effizient suchen