Did the East German Army retain the traditions and doctrines of the old German or Prussian armies, or were they made to be throughly Soviet?