Re: Zeilen aus Datei extrahieren (grep? Alternativen?)