Trauer um früheren US-Präsidenten: Jimmy Carter gestorben