2003/07/16 16:19:55 dvo 1.4.34.1: #i16951# work-around for Java XSLT problem: multiple <xsl:key> elements with
         the same name appear not to work properly, so we don't use them.
         Also import sect5 elements.