East Germany–North Korea relations