A military history of Germany and of England from the year 1631 to the year 1648