diff --git a/DOCS/German/documentation.html b/DOCS/German/documentation.html index d2a735aa02..17d5fb7784 100644 --- a/DOCS/German/documentation.html +++ b/DOCS/German/documentation.html @@ -125,7 +125,8 @@