EXMAR - RESULTATEN DERDE KWARTAAL 2023 (10.11.2023)