So it's older than Nintendo's Mario?
The saga began last year when the supermarket, established in 2013 under the name "Super Mario," renewed its trademark registration.