K 10 svn:author V 5 joerg K 8 svn:date V 27 2001-06-29T07:53:45.000000Z K 7 svn:log V 125 This change slipped through hidden in a CVS conflict. Logically belongs to the previous commit (fix resource deallocation). END