¿Qué siglas designaban, en español, a la desaparecida Alemania Oriental?