From 21c280cc7e4809c6d97ce54911e5d33238d3d3d8 Mon Sep 17 00:00:00 2001
From: rohere58 <65469540+rohere58@users.noreply.github.com>
Date: Tue, 8 Nov 2022 01:42:40 +0100
Subject: [PATCH] Update de.json

---
 discordgsm/translations/de.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/discordgsm/translations/de.json b/discordgsm/translations/de.json
index d3257a1..f0ce6d7 100644
--- a/discordgsm/translations/de.json
+++ b/discordgsm/translations/de.json
@@ -47,7 +47,7 @@
     "function.find_server.not_found": "Der Server `{address}:{query_port}` existiert nicht im Channel.",
     "function.find_servers.empty": "Es gibt keine Server in diesem Channel.",
     "function.find_servers.parameter_error": "`address` und `query_port` müssen zusammen angegeben werden.",
-    "function.query_server_modal.invalid_port": "The port number must be between 0 and 65535.",
+    "function.query_server_modal.invalid_port": "Die Portnummer muss zwischen 0 und 65535 liegen.",
     "function.query_server_modal.already_exists": "Dieser Server existiert bereits im Channel.",
     "function.query_server_modal.fail_to_query": "Abfrage von `{game_id}` Server `{address}:{query_port}` fehlgeschlagen. Bitte versuchen Sie es erneut.",
     "function.query_server_modal.success": "Abfrage erfolgreich!",
@@ -95,4 +95,4 @@
     "style.medium.description": "Ein mittelgroßer Stil, der Serverinformationen anzeigt.",
     "style.large.display_name": "Groß",
     "style.large.description": "Ein großformatiger Stil, der Serverinformationen und eine Spielerliste anzeigt."
-}
\ No newline at end of file
+}