In weichem Militärbündnis war die DDR Mitglied ?