Update locale_de-DE.ini

Changed English word "user" to German word "Benutzer" as suggested by #727 (comment)

Author: mrm2m

options/locale/locale_de-DE.ini

@@ -141,7 +141,7 @@ users=Benutzer
 organizations = Organisationen
 search=Suche
 repo_no_results = Es wurden keine passenden Repositories gefunden.
-user_no_results = Es wurden keine passenden User gefunden.
+user_no_results = Es wurden keine passenden Benutzer gefunden.
 org_no_results = Es wurden keine passenden Organisationen gefunden.
 
 [auth]