K 10 svn:author V 4 rene K 8 svn:date V 27 2020-05-23T11:14:01.011354Z K 7 svn:log V 83 editors/dkns: put back LICENSE line which erroneously fell out in the last update. END