Van de Velde : a catalogue of the paintings of the elder and the younger Willem