The hyperfine structure in the rotational spectra of D2O: Lamb-dip measurements and quantum-chemical calculations