Militärgeschichte der DDR