Re: grep --regexp=PATTERN: mehrere PATTERN möglich?