  We construct the unique optimal quantum device for turning a finite number of
d-level quantum systems in the same unknown pure state \sigma into M systems of
the same kind, in an approximation of the M-fold tensor product of the state
\sigma.
