KONIGSTEIN, is also the name of a town in Bavaria, and of one in Saxony.