آلمان شرقی در بازی‌های المپیک تابستانی ۱۹۸۰