diff --git a/DOCS/German/documentation.html b/DOCS/German/documentation.html index d905fbc391..12cc83a4f1 100644 --- a/DOCS/German/documentation.html +++ b/DOCS/German/documentation.html @@ -100,9 +100,9 @@