Personeelstekorten primair onderwijs – peildatum 1 oktober 2023