diff --git a/DOCS/German/documentation.html b/DOCS/German/documentation.html index 285bb8a894..6a89f73a6f 100644 --- a/DOCS/German/documentation.html +++ b/DOCS/German/documentation.html @@ -1510,6 +1510,7 @@ Diese Liste sollte wenig verwendet werden.