On 08.02.2008, at 20:57, Wolfgang Sourdeau wrote: > I think the anonymous svn is down again.... Yes, this server finally died, this affects various services. Helge -- Helge Hess http://www.helgehess.eu/