 If that's the case, this is a really gross error. The company is still responsible. It's going to have to replace the satellites for the German government. But it's a little embarrassing for the German government, without question, as well as the German industry. Bob, that brings up a question I've meant to ask for quite some time. Who pays, who hires, who sells insurance for failed satellite launches? That's a good question, John. Every launch...