Which of the following freshwater generators has an operating principle that employs the use of a semi-permeable membrane?