CSO says thank you

The population of Ireland (ROI), according to the census taken on April 24, is 4,757,976

The population of Berlin in 2012 was 3.507 million.