K 10 svn:author V 6 eivind K 8 svn:date V 27 2000-10-05T18:22:46.000000Z K 7 svn:log V 37 Style fixes based on comments by bde END