Hohenstollen was formerly part of the German Empire. In the German Empire, the place was called Hohenstollen.
The place is now called Vysoká Štola and belongs to Czech Republic.
| Historical place name | Country | Administration | Time |
|---|---|---|---|
| Hohenstollen | Austro-Hungary | Neudek | before the Treaty of Saint-Germain |
| Vysoká Štola | Czechoslovakia | Nejdek | after the Treaty of Saint-Germain |
| Hohenstollen | Czechoslovakia | Nejdek | after the Treaty of Saint-Germain |
| Hohenstollen | German Empire | Neudek | 1938 |
| Vysoká Štola | Czechoslovakia | Karlovy Vary | 1945 |
| Vysoká Štola | Czechoslovakia | Karlovy Vary | 1992 |
| Vysoká Štola | Czech Republic | Karlovy Vary | 1993 |