Z:gnu-gawk--1f1833-pipe flush of `=25s' failed (=25s)/de

Das Leeren der Pipe »%s« ist gescheitert (%s)