The microwave and infrared spectra and structure of hydrothiophosphoryl difluoride