Hallo.
Wir danken für die Meldung der erneut eingedeutschten Servernamen. Wir hatten dazu bereits weitere Meldungen erhalten und diese umgehen an die entsprechenden Stellen weiter geleitet.
Das bedeutet das bereits an der Sache gearbeitet wird. Wann aber die alten englischen Namen wieder angezeigt werden, dass können wir leider zu diesem Zeitpunkt nicht sagen.