Alemania Oriental en los Juegos Olímpicos de verano 1988