diff --git a/doc/Documentation.pdf b/doc/Documentation.pdf index 63d2cb314e2f0381e8866ac7eb46591224b7b460..8f93aecceb37ff4d5b48b0a25a31cb4dbeaa8c73 100644 Binary files a/doc/Documentation.pdf and b/doc/Documentation.pdf differ