Ordinal-definability in axiomatic set theory: the inner model HOD, generic extensions and elementary embeddings - Deck, Klaus-Georg (Heidelberg, Univ., Diss., 1992, 1992)