python: remove comment added by mistake
doc: update German auto-generated files