Die Kurzbezeichnung ausländischer Staatennamen ist im Übrigen auch maßgebend für die Reihenfolge beim Abspielen ausländischer Nationalhymnen in der Bundesrepublik Deutschland.
Das "Verzeichnis der Staatennamen für den amtlichen Gebrauch" finden Sie auf der Internetseite des Auswärtigen Amtes.