Ok, here comes part 2. Not mentioned in the first mail: it makes some minor
formatting changes in some comments.

Eike