AW: grep-Befehl für IP gesucht