K 10 svn:author V 5 markm K 8 svn:date V 27 2002-07-19T14:10:35.000000Z K 7 svn:log V 92 Merge from import. The import was done ages ago, and this diff has been carried since then. END