De Nederlandsche zeemagt, in hare verschillende tijdperken geschetst / J.J. Backer Dirks