K 10 svn:author V 3 bde K 8 svn:date V 27 1997-08-25T21:31:38.000000Z K 7 svn:log V 32 Removed a tautological comment. END