Doc-de: update dev link on main web page

diff --git a/Documentation/de/web.texi b/Documentation/de/web.texi
index d6fcc28f7708cbfb6837430bf7f2d29044e40b0b..fc4608f052dc5d3157e727f9151a320e7a6b15f0 100644 (file)
--- a/Documentation/de/web.texi
+++ b/Documentation/de/web.texi
@@ -163,9 +163,9 @@ Lesen Sie mehr in der @ref{Einleitung}!
 
 @subsubheading Entwicklerversion
 
-@ref{Gemeinschaft, @versionDevel herunterladen}
+@ref{Entwicklung, @versionDevel herunterladen}
 
-@ref{Gemeinschaft, @versionDevel Handbücher}
+@ref{Entwicklung, @versionDevel Handbücher}
 
 @divEnd
 @end ifset