Wie viele Einwohner hatte Cork in der Mitte des 19.Jhds.?