Vajda János: Mario és a varázsló