What software was used in this animation?