K 10 svn:author V 5 markm K 8 svn:date V 27 2001-07-28T20:40:49.000000Z K 7 svn:log V 46 Diff-reduce this with GENERIC. OK'ed by: imp END