Z:gnu-gawk--855ead-`extension' is a gawk extensio/de

»extension« ist eine gawk-Erweiterung