Ship captured: If a ship was captured in combat (because it lost its crew), it changes ownership. It receives a small emergency crew (the capturing ship doesn't lose any crew beyond that killed in combat, though).

Crew_after_combat =
   Min(10, Hull_crew)
This is a testing version.
It may be incomplete, and have more bugs (or features) than the public live version at planetscentral.com.