小女孩和女巫的动画电影有哪些名字