Translating DOKBOOK files