arsenal of the world : the Dutch arms trade in the seventeenth century / ed. by Jan Piet Puype, Marco van der Hoeven ; [transl. …