Textdateien manipulieren: sed oder awk ?