K 10 svn:author V 5 wosch K 8 svn:date V 27 1996-06-23T20:35:22.000000Z K 7 svn:log V 17 Merge from HEAD. END