West Germany, Cold War Europe and the Algerian War