Nevertheless, they can still be imported by dragging them to iMovie from the Finder. The catch is that the sound is lost in the process, despite all my attempts to save it. It ought to be simple enough to extract the sound from the MPEG and import it separately, though.

