Wie viele Einwohner hat Idar-Oberstein?

Wie viele Einwohner hat Idar-Oberstein?
http://www.expressantwort.com/wie-viele-einwohner-hat-idar-oberstein-161385.html