If you have a map-element and you want to change the key, you
have just the option to copy all elements to the new map-element
and deleting the old map-element. It would be really nice, if
there would be a function to rename the key without that
copie-part.