I just checked and could not find it, but if you are interested in a german translation i might be able to help out, if that is anything you care about at all, of course.
Happy Holidays
