Populaţia Germaniei a fost revizuită în scădere cu 1,5 milioane de persoane, la 80,2 milioane de locuitori