gawk

Das Wörterbuch ist gerade nicht erreichbar — versuch es in einer Minute noch einmal.