1980年代のピーク時で東ドイツ駐留ソ連軍集団は何万人ほど兵力がいたんですか?