K 10
svn:author
V 5
znerd
K 8
svn:date
V 27
2004-01-23T07:43:23.000000Z
K 7
svn:log
V 104
Fixed an incorrect comment.

Requested by:	Volker Stolz <stolz@i2.informatik.rwth-aachen.de>
PR:		61741

END