Renaming documents
Merge pull request #134 from fkautz/pr_out_renaming_documents

Renaming documents