Hohenstollen - населенный пункт в до заключения Сен-Жерменского договора, который принадлежал к и находился в административном районе Neudek.
Hohenstollen ранее принадлежал к Германской империи. В составе Германской империи населенный пункт назывался Hohenstollen. Сейчас населенный пункт называется Vysoká Štola и принадлежит к Чешская Республика.