Zeilen aus Datei extrahieren (grep? Alternativen?)