Wie viele Einwohner hat Holzgerlingen?

Wie viele Einwohner hat Holzgerlingen?
http://www.expressantwort.com/wie-viele-einwohner-hat-holzgerlingen-161360.html