Hi, On Sat, Apr 18, 2009 at 11:29 AM, stephane ducasse <stephane.ducasse at free.fr> wrote: > So peter now you are getting a human. just as a side note... "Peter Jedermann" can be translated as "John Doe", or, more literally, "Peter Anybody". It's quite certainly not a real name. :-) Best, Michael