es gab den fachausdruck nichtsozialistisches ausland den ich ab uns zu heute verwende um mir lacher zu sicheren aber BRD wurde offiziell als bundesrepublik deutschland oder privat meist "der westen" genannt.