I gave MakeMKV a try and it does a good job. It is fast and gives a nice overview.
MX Player can play the format, I only needed a different codec for the AC3 audio.
Maybe I should convert the mkv to another filetype to compress them some more, but at the moment I am happy with the results.
As I get Handbrake recommended a few times, I will be giving that a try as well.
Thank you guys for the responses, it helped me a lot.