Demokratische Volksrepublik Korea po polsku: Koreańska Republika Ludowo-Demokratyczna, tłumaczenie z niemieckiego