Great Britain Public Record Office. Library