Feb. 15, 2012
12:25 p.m.
On Wed, Feb 15, 2012 at 9:50 AM, Marcus Denker <marcus.denker@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