Hauenstein to miejscowość należąca dawniej do Rzeszy Niemieckiej. W Rzeszy Niemieckiej miejscowość nazywała się Hauenstein.
. Dziś miejscowość nazywa się Horní Hrad i należy do Czechy.
| Historyczna nazwa miejscowości | Państwo | Administracja | Czas |
|---|---|---|---|
| Hauenstein | Austro-Węgry | Sankt Joachimsthal | przed traktatem pokojowym z Austrią |
| Haunštejn | Czechosłowacja | Jáchymov | po traktacie pokojowym z Austrią |
| Hauenstein | Czechosłowacja | Jáchymov | po traktacie pokojowym z Austrią |
| Hauenstein | Rzesza Niemiecka | Sankt Joachimsthal | 1938 |
| Horní Hrad | Czechosłowacja | Jáchymov | 1945 |
| Horní Hrad | Czechosłowacja | Karlovy Vary | 1992 |
| Horní Hrad | Czechy | Karlovy Vary | 1993 |