Which pact was formed in response to the separation of the Federal Republic of Germany into NATO