Military Histories - The DDR Revisited