On Tue, 2 Jul 2013 19:12:09 +0200 (CEST) Julien Claassen <julien at mail.upb.de> wrote: > The best cricket removal tool of course is someone, who captures or > kills it. Why on Earth would you want to *kill* it ? -- David