wie viele einwohner hat solothurn?