hallo liste! frage: wie heiszt das debian-paket zum konvertieren von .mov-files nach .mpg (mpeg) ? danke, ingo