subs it would have been even better!
However I've just found out that it was originally a 13 episode TV series that was
later condensed into a movie. Idler, I'm guessing your file probably contains the
first 2 episodes? I've found most of the other episodes, at least I think so.

There are a lot of DVD rips of the movie version, but the titles suggest they might
be dubbed in either Korean, Italian, or Polish. I haven't actually downloaded them
to check though.