convert *.avi to *.ogg

[Duncan Lithgow]

hallo ulrich,
> another way to find such info would be to start mplayer from command
> line. a simple "mplayer myfile.avi" gives loads of info.
>   
That would be this bit, yes? thanks for the tip.
==========================================================================
Opening audio decoder: [mp3lib] MPEG layer-2, layer-3
AUDIO: 44100 Hz, 2 ch, s16le, 128.0 kbit/9.07% (ratio: 16000->176400)
Selected audio codec: [mp3] afm: mp3lib (mp3lib MPEG layer-2, layer-3)
==========================================================================
==========================================================================
Opening video decoder: [ffmpeg] FFmpeg's libavcodec codec family
Selected video codec: [ffodivx] vfm: ffmpeg (FFmpeg MPEG-4)
==========================================================================

So, now we know what it _really_ is, how can I convert it to .ogg?

Duncan