Bevölkerung von Mainz-Laubenheim von 1980 bis 2020