Wie viele Einwohner hat Haltern am See?

Wie viele Einwohner hat Haltern am See?
http://www.expressantwort.com/wie-viele-einwohner-hat-haltern-am-see-158386.html