Hmm ... also ehrlich gesagt, habe ich einfach nach deinem Tipp die "intro.mpg" Datei umbenannt und dann konnte ich das Spiel starten. Da ich das Intro sonst eh nach dem ersten ansehen immer wegklicke (egal, bei welchem Spiel), war diese Lösung für micht durchaus zufriedenstellend.