Complete crystal structure of decafluorocyclohex-1-ene at 4.2 K from original neutron diffraction data.