The Dutch library system: Past, present and future. (June 2023)