Hvad er forskellen mellem den første Super Mario film og den animerede version fra 2021?