Hohenstollen ранее принадлежал к Германской империи. В составе Германской империи населенный пункт назывался Hohenstollen. Сейчас населенный пункт называется Vysoká Štola и принадлежит к Чешская Республика.
| историческое название населенного пункта | Государство | Управление | Временные рамки |
|---|---|---|---|
| Hohenstollen | Австро-Венгрия | Neudek | до заключения Сен-Жерменского договора |
| Vysoká Štola | Чехословакия | Nejdek | после заключения Сен-Жерменского договора |
| Hohenstollen | Чехословакия | Nejdek | после заключения Сен-Жерменского договора |
| Hohenstollen | Германская империя | Neudek | 1938 |
| Vysoká Štola | Чехословакия | Karlovy Vary | 1945 |
| Vysoká Štola | Чехословакия | Karlovy Vary | 1992 |
| Vysoká Štola | Чешская Республика | Karlovy Vary | 1993 |