Batch converted the BluRay vobsubs with VobSub2SRT (which relies on Tesseract for OCR). Tesseract did a very good job, but there are a few marginal OCR errors here and there (e.g. l and I), and I simply don't have time to proof-read 201 subtitles. :) Anyw