ich persönlich kann, wie TomUL schon empfohlen hat, ebenfalls das tool mkv2vob empfehlen
bei den meisten auf dem markt befindlichen mkv´s wird lediglich der dateiheader verändert ... somit ist das noch nicht mal ein richtiges umwandeln was sich in einer wirklich sehr schnellen encoding zeit bemerkbar macht. bei wenigen mkv´s muss das file tatsächlich komplett neu encodiert werden aber in meinem fall war das eher selten ... wobei ich ehrlich gesagt nicht die übermäßige mkv sammlung habe
vielleicht kann TomUL mehr dazu sagen
um sich das besser vorzustellen:
wenn ich beispielsweise eine mkv auf meinem rechner hab, diese dann per mkv2vob auf ne externe "umwandeln" lasse, dauert dies fast genau so lange, als würde ich die mkv datei normal per dateimanager auf die externe einfach nur kopieren