R2J encode (10-bit H.264). The DVD release is sadly very bad, but I think I managed to make a rip that is substantially more watchable than the previous attempts.