Danke. Mittlerweile habe ich aber schon makemkv gefunden. Damit geht es sehr komfortabel und schnell - allerdings ohne reencoding.

Gruß