Ist Rumpelstilzchen ein deutsches Märchen?