Mild recession ends Dutch economy's strong post-COVID boom - Reuters