Der GP von Nordkorea ist gestartet.