However, I think you should accept the formal names of East and West Germany (GDR/FRG), as well as their shortened names.
However, I think you should accept the formal names of East and West Germany (GDR/FRG), as well as their shortened names.