the burroughs corporation introduced nixie and owned the name nixie as a trademark soon after the repairs were completed the war's end was announced