SEALSQ Corp (LAES): financials from its own SEC filings