The political revolution in East Germany