Østrig har netop opjusteret deres befolkningstal fra 8.1 mill. til 9.3 mill. efter at have tjekket alle landets kældre en ekstra gang....