On 13 September 1787, a Prussian army of 26.000 men invaded the Netherlands. The invasion violently ended the democratic revolution, in which political power had been taken over by the Netherland patriots in recent years. The military intervention led to thousands of patriots fleeing abroad.