Neutron-diffraction evidence for 3D long-range antiferromagnetic ordering in DyBa2Cu3O6.95 and for antiferromagnetic correlations in HoBa2Cu3O6.8