DPA-Ticker zum Gipfel: US-Präsident Donald Trump und Nordkoreas Machthaber Kim Jong Un treffen sich in Hanoi