A brief history of the pacifick campaign in Flanders anno 1712 and of the fatal cessation of arms