Когда речь идет о периоде с 1945 г. по 3 октября 1990 г., государство, которое автор называет Германией, юридически носило название Федеративная Республика Германия (ФРГ), другая часть разделенной Германии называлась Германская Демократическая Республика (ГДР) и входила в состав восточного блока во главе с СССР. Западный Берлин имел отдельный статус. – Прим. пер.