How to convert the DEM in the extension (*.dem) into (*.xyz) file?

See remote data instructions on the main site.