Wie viele Einwohner hat Haigerloch?

Wie viele Einwohner hat Haigerloch?
http://www.expressantwort.com/wie-viele-einwohner-hat-haigerloch-158379.html