The crystal structure of hydrogen fluoride