XSLT to transform DocBook-XML to (X)HTML5