Istočna Njemačka na Olimpijskim igrama 1980.