I have seen GDR used in the UK. But then again not many people refer to North Korea by its official name here.