Vaderlandsche historie vervattende de geschiedenissen der Vereenigde Nederlanden : verkort