Dutch Manufacturing Output Rises Most Since 2023