"Fraenkel" . "Hans" . "Hans Fraenkel" . . . .