Z:gnu-gawk--8fd122-`IGNORECASE' is a gawk extensi/de

»IGNORECASE« ist eine gawk-Erweiterung