ألمانيا الشرقية في الألعاب الأولمبية الصيفية 1972