Wie viele Einwohner hat Lauf an der Pegnitz?

Wie viele Einwohner hat Lauf an der Pegnitz?
http://www.expressantwort.com/wie-viele-einwohner-hat-lauf-an-der-pegnitz-167050.html