K 10 svn:author V 6 ehaupt K 8 svn:date V 27 2013-01-15T13:40:28.706622Z K 7 svn:log V 67 - Use DOC instead of NOPORTDOCS - Pacify portlint - Convert header END