Hallo,
ich weiß nicht, ob ich das nun richtig verstanden habe, aber wenn Du den Namen des Servers also z.B. SERVER01.abc.de hast dann kannst Du doch diesen z.B. per PING oder TRACERT einfach mal ansprechen. Sofern der Server auf PING reagiert solltest Du dann auch die
IP-Adresse angezeigt bekommen. Oder fehlt Dir der Domain- und TLD-Teil?
Gruß
Bluesky