"Troxler" . "Hans" . "Hans Troxler" . . . .