restore docbook translation from svn R601801

Description

restore docbook translation from svn R601801

Details

Committed
lueckJan 24 2019, 5:33 AM
Parents
R883:1533571: SVN_SILENT: summit merge
Branches
Unknown
Tags
Unknown