Wie viele Einwohner hat die Stadt Paris heutzutage?