Re: sed/awk: Zeilen ersetzen