Some properties of the moving high-field domain in Gunn effect devices