Convert ogv files into avi files on Debian Linux

I have an ogv file without sound. I should install mencoder. I can convert it into an avi file by the command:

mencoder out.ogv -o out.avi -ovc lavc -nosound