Wie nennt man eine Puppe zum Theaterspielen von Nintendos Mario?

Mario-Marionette.