Yeah, I know they didn't literally go bust, some company always winds up buying the remaining value in the company, as its trademarks and IP have value.

But in any practical sense, they ceased to exist. (I meant Lotus of 1-2-3 fame, not car fame.)