The East German Army: The second power in the Warsaw Pact