Wie viele Einwohner hat Königstein?

Wie viele Einwohner hat Königstein?
http://www.expressantwort.com/wie-viele-einwohner-hat-konigstein-163557.html