The history of Hugo Grotius (1583-1645) and his printers, explained on the basis of five portraits