Republiek der Verenigde Nederlanden als grote mogendheid : buitenlandse politiek en oorlogvoering in de eerste helft van de achttiende eeuw en in het bijzonder tijdens … Nederlandse trofeeën uit drie oorlogen : vaandels en vaandrigs ten tijde van de Zonnekoning