Wie viele Einwohner hat Gerlingen?

Wie viele Einwohner hat Gerlingen?
http://www.expressantwort.com/wie-viele-einwohner-hat-gerlingen-158202.html