Ja, und BRD ist (war) auch Bundes Republik Deutschland. Aber es gab auch Leute die nannten es (West) Germany.