How can I obtain the local name of a dimension?

[EmptyDreams]

Description

I am currently working on a mod and want to send a player their coordinates in the server, along with the name of the dimension. However, I do not want to display the dimension's ID directly (e.g., minecraft:the_end). Instead, I want to display its localized name.
I am currently using player.sendSystemMessage to achieve this, but when I looked through the language files, I couldn't find any entries related to dimensions. How can I accomplish this?