Hochofen to miejscowość należąca dawniej do Rzeszy Niemieckiej. W Rzeszy Niemieckiej miejscowość nazywała się Hochofen.
. Dziś miejscowość nazywa się Vysoká Pec i należy do Czechy.
| Historyczna nazwa miejscowości | Państwo | Administracja | Czas |
|---|---|---|---|
| Hochofen | Austro-Węgry | Neudek | przed traktatem pokojowym z Austrią |
| Vysoká Pec | Czechosłowacja | Nejdek | po traktacie pokojowym z Austrią |
| Hochofen | Czechosłowacja | Nejdek | po traktacie pokojowym z Austrią |
| Hochofen | Rzesza Niemiecka | Neudek | 1938 |
| Vysoká Pec | Czechosłowacja | Karlovy Vary | 1945 |
| Vysoká Pec | Czechosłowacja | Karlovy Vary | 1992 |
| Vysoká Pec | Czechy | Karlovy Vary | 1993 |