Hi all,

the work on this branch is finished.
We think it is ready for merge to trunk.

If I hear no complains, I'll merge on
friday.

Gerd