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