Which of the following processes involves a change in state from gas to liquid?