Codec for "Indeo Video 5.0"?

A friend of mine has some old AVI files she cannot play on her
openSUSE 10.3 systems with any of the installed players.
Totem refuses to do anything with the files, complaining:

“Totem could not play “file:///home/…/clip.avi”.
The Video Codec “Indeo Video 5.0” is not supported.
You may have to install additional plugins in order to
play certain types of videos.”

Kaffeine plays only the sound, accompanied by a black image.
VLC also plays the sound but shows no image, and additionally
displays an error message:

“No appropriate decoding module.
VLC does not support the audio or video format “IV50”.
Unfortunately you cannot do anything about that.”

Does anyone know that format and where a codec for it might
be found?

aTdHvAaNnKcSe
Tilman

I googled it
Indeo - Wikipedia, the free encyclopedia

Versions 2 and 3 have decoders in FFmpeg. Indeo version 4 and 5 are not supported by any open source decoders.

The “daily-generated list of currently supported codecs”: Codec Status Table

IV50 is supported by binary codecs… that are only available on 32 bits.