hugh harstshorne and elsa lotz