下列现象中,属于水蒸气液化的是()