Translating DOCBOOK