Copy Launch properties // Production library

The copy process takes over all elements in their latest version. This makes it complicated, e.g. to create the current production status, since in the copy all elements of which the last version is not in the production status must first be rolled back to the production status. The production library of the original property should also be copied.