Stimmt, auf das mit grep haette ich auch kommen sollen. Der Nachteil ist allerdings, dass ein neues Array zusammengebaut wird, was bei sehr großen Arrays speicherintensiv sein kann.