Seems about as important as knowing FRG = West Germany, and GDR/DDR = East Germany in the 20th century.