Историческая справка: Восточная Германия - ГДР или ФРГ?