@HansWürstchen: Vielleicht sollten wir das hier nach über einem Jahr mit einem fixme am Weg erledigen...ich halte wenig davon derartige anonyme Hinweise ewig offen zu halten...zumal es keine weitere Reaktion darauf gibt.