Trump, Obama, Clinton, Carter: Alle lebenden US-Präsidenten und ihre Frauen nahmen Abschied von George H.W. Bush.