"machthaber kim jong" in ARD Nachrichten am 2017-12-31