Allerheiligen - населенный пункт в до заключения Сен-Жерменского договора, который принадлежал к и находился в административном районе Hohenstadt.
Allerheiligen ранее принадлежал к Германской империи. В составе Германской империи населенный пункт назывался Allerheiligen. Сейчас населенный пункт называется Vyšehorky и принадлежит к Чешская Республика.