diff --git a/documentation/out/german.html b/documentation/out/german.html index 5d7f5fd..7252e6a 100644 --- a/documentation/out/german.html +++ b/documentation/out/german.html @@ -4,17 +4,16 @@ - +