K 10 svn:author V 3 jkh K 8 svn:date V 27 1998-11-08T11:04:57.000000Z K 7 svn:log V 22 prune a double entry. END