Knapp fünf Stunden dauert der historische Gipfel - und endet mit einer Vereinbarung: Donald Trump und Kim Jong Un haben ein Dokument unterzeichnet, in dem sich der nordkoreanische Machthaber zu einer „vollständigen Denuklearisierung" verpflichtet.