K 10 svn:author V 3 imp K 8 svn:date V 27 2019-12-04T16:55:55.417949Z K 7 svn:log V 60 Fix accidentally changed copyright year. Noticed by: bapt@ END