Gawk: Unterschied zwischen den Versionen