Belfast : Public Record Office of Northern Ireland,