On Wed, Feb 15, 2012 at 9:50 AM, Marcus Denker <marcus.den...@inria.fr>wrote:
> It is much more interesting to google > > "Guido Stepken" Troll > > Just have a look: > > http://www.google.com/search?ls=en&q=%22Guido+Stepken%22+Troll Wow! "About 1,030 results", that's pretty impressive. Should we be honoured to have such a celebrity visiting us? -- Cheers, Peter