diff --git a/DOCS/German/documentation.html b/DOCS/German/documentation.html index 5a4b21831b..0adc667b8f 100644 --- a/DOCS/German/documentation.html +++ b/DOCS/German/documentation.html @@ -50,7 +50,8 @@