On Wed, 08 Feb 2017 08:02:14 +0100, Peter Schauder <p_schauder at web.de> wrote: Hi Ansgar, Stefan, danke für die beiden Antworten. Die von Ansgar hatte ich befürchtet (wegen der "Rückstellung" nach Configänderungen) aber die von Stefan löst das Problem; speziell weil es auch noch xzgrep / xzcat und eine Handvoll andere gibt. Gruß Peter