Pieter Saenredam : the painter and his time ; complete edition ; biography ; illustrations and catalogue of all works ; summaries of all documents / Gary Schwartz & Marten Jan Bok