 But in private enterprise, commercial satellites is insured. And the rocket companies themselves probably insure themselves as well. So if, for example, you launch a satellite and the rocket fails, the insurance company will come in and help pay for the cost of replacing the satellite. Similarly, and so in this case, if that German company is properly insured,