SEC Form 6-K filed by WISeKey International Holding Ltd