Mister Magoo's Christmas Carol was produced by the same studio that produced a film that featured the only animated-film role by who?