Z:gnu-gawk--be5696-`=25s' is a gawk extension/de

»%s« ist eine gawk-Erweiterung