the democratic people's republic of korea - German English Dictionary