Auch 2017 stieg Dresdens Bevölkerungszahl