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