K 10 svn:author V 3 phk K 8 svn:date V 27 1997-09-10T19:44:36.000000Z K 7 svn:log V 67 Fix a type in a comment and remove some checks now done centrally. END