oeh hr Hartmann ( Don Juans son ).