fyi: grep ist noch immer schneller als google.