410 	 * @return The CompanyIndex of the new owner.

   410 	 * @return The CompanyIndex of the new owner.

   411 	 */

   411 	 */

   412 	AICompany::CompanyIndex GetNewCompanyIndex() { return new_owner; }

   412 	AICompany::CompanyIndex GetNewCompanyIndex() { return new_owner; }

   413 

   413 

   414 private:

   414 private:

   416 	AICompany::CompanyIndex new_owner;

   416 	AICompany::CompanyIndex new_owner;

   417 };

   417 };

   418 

   418 

   419 /**

   419 /**

   420  * Event Company Bankrupt, indicating a company has gone bankrupt.

   420  * Event Company Bankrupt, indicating a company has gone bankrupt.