TESSENDERLO GROUP - VERKOOPT MINDERHEIDSBELANG IN RIETER HOLDING AG (05.04.2023)