Manufacture of distilled water