"Demokratischer Volksrepublik Korea"@de . . . . .