wie hoch ist die bevölkerung von sachsen