K 10 svn:author V 3 phk K 8 svn:date V 27 2001-03-17T11:43:36.000000Z K 7 svn:log V 140 Unrevert something which shouldn't have been reverted in the previous revert. (Yes, I'm going to bed now to get some much needed sleep...) END