democratic people's republic of korea (country in east asia (official name)) - Deutsch Englisch Wörterbuch