was the East German military incorporated into the West German military?