Mario heißt eigentlich Meng Zihao, das klingt ähnlich. Außerdem kennt man den Namen vom Computerspiel.
