I will show how, using Kurepa trees as oracles, one may perform a class forcing so that a generically chosen class of cardinals will be definable in the extension. In the extension model, we will then have a definable well order, GCH will hold, and any n-superstrong cardinals from the ground model will remain n-superstrong.
For further, light-hearted discussion, see [http://www.logic.univie.ac.at/~andrewbt/DinosaurDWO.html]