doc: fix typo in user's guide
doc: update German auto-generated files