So viel haben die Nordkoreaner nicht verdient, aber zumindest ein Ergebnis, das so gut wie keiner richtig getippt haben kann