Hacker News new | ask | show | jobs
by olalonde 7 days ago
Germany's official English name is Germany[0].

[0] https://unterm.un.org/unterm2/en/view/745bbc2a-fc50-4b94-bb9...