Österreichs Bevölkerung wächst bis 2080 auf 9,93 Millionen