Am Freitag 12 März 2010 16:41:47 schrieb Dmitri Pal: [..] > Regardless of the outcome it would be nice to have a ticket open about > the issue. Ok, this is now Ticket#417. -- Ralf