Wie viele Einwohner hat Bad Reichenhall?

Wie viele Einwohner hat Bad Reichenhall?
http://www.expressantwort.com/wie-viele-einwohner-hat-bad-reichenhall-155966.html