chemnitz bevölkerung