DVD release of the film "Super Mario Bros."