Update regarding the purchase of treasury shares dated 17 July 2023 Update regarding the purchase of treasury shares dated 17 July 2023