Wie alt war Eisenhower zum Ende seiner Präsidentschaft?