* Lei Tang [2006-08-09 07:43+0200] writes: > Any suggestions? Thanks a lot for your help! I think this bug is finally fixed in CVS. The bug was there for a long time. Helmut.