Portret van Willem V in uniform van de Hollandse Brigade Verzameling documenten met betrekking tot officier Hendrik Detmers, periode 17e tot en met 19e eeuw