Nordkorea-Experte Mario Schmidt (NDR) zum Führungswechsel in Nordkorea