Wie viele Einwohner hat Gerolstein?

Wie viele Einwohner hat Gerolstein?
http://www.expressantwort.com/wie-viele-einwohner-hat-gerolstein-158208.html