Alemania Occidental, Alemania Oriental,