[skip ci] Updated translations via Crowdin

options/locale/locale_de-DE.ini

@@ -419,6 +419,7 @@ ssh_helper=<strong>Brauchst du Hilfe?</strong> Hier ist GitHubs Anleitung zum <a
 gpg_helper=<strong>Brauchst du Hilfe?</strong> Hier ist GitHubs Anleitung <a href="%s">über GPG</a>.
 add_new_key=SSH-Schlüssel hinzufügen
 add_new_gpg_key=GPG-Schlüssel hinzufügen
+ssh_key_been_used=Dieser SSH-Key wird auf diesem Server bereits verwendet.
 ssh_key_name_used=Ein gleichnamiger SSH-Key existiert bereits in deinem Account.
 gpg_key_id_used=Ein öffentlicher GPG-Schlüssel mit der gleichen ID existiert bereits.
 gpg_no_key_email_found=Dieser GPG-Schlüssel kann mit keiner E-Mail-Adresse deines Kontos verwendet werden.

options/locale/locale_fr-FR.ini

@@ -419,6 +419,7 @@ ssh_helper=<strong>Besoin d'aide ?</strong> Consultez le guide Github pour <a hr
 gpg_helper=<strong>Besoin d'aide ?</strong> Consultez le guide Github à propos de <a href="%s">GPG</a>.
 add_new_key=Ajouter une clé SSH
 add_new_gpg_key=Ajouter une clé GPG
+ssh_key_been_used=Cette clef SSH a déjà été ajoutée au serveur.
 ssh_key_name_used=Une clef SSH du même nom est déjà associée à votre compte.
 gpg_key_id_used=Une clef GPG publique avec le même identifiant existe déjà.
 gpg_no_key_email_found=Cette clef GPG n'est utilisable avec aucune adresse e-mail associée à ce compte.