Rijks geschiedkundige publicatiën : kleine serie ;