El nombre "Rumpelstizchen" se emplea por primera vez, según el folclorista Hans-Jörg Uther (n.