Wisekey steigert Umsatz im ersten Halbjahr 2023 um 39 Prozent