Wahlparteitag der Republikaner: Trump als Präsidentschaftskandidat nominiert