Hohenstollen gehörte ehemals zum Deutschen Reich. Im Deutschen Reich hieß der Ort Hohenstollen.
Heute heißt der Ort Vysoká Štola und gehört zu Tschechische Republik.
| historischer Ortsname | Staat | Verwaltung | Zeit |
|---|---|---|---|
| Hohenstollen | Österreich-Ungarn | Neudek | vor Vertrag von Saint-Germain |
| Vysoká Štola | Tschechoslowakei | Nejdek | nach Vertrag von Saint-Germain |
| Hohenstollen | Tschechoslowakei | Nejdek | nach Vertrag von Saint-Germain |
| Hohenstollen | Deutsches Reich | Neudek | 1938 |
| Vysoká Štola | Tschechoslowakei | Karlovy Vary | 1945 |
| Vysoká Štola | Tschechoslowakei | Karlovy Vary | 1992 |
| Vysoká Štola | Tschechische Republik | Karlovy Vary | 1993 |