Горбачёв был президентом ГДР? Не знал.