Dutch civilisation in the seventeenth century — non-fiction work by Johan Huizinga