Dutch seventeenth and eighteenth century paintings in the National Gallery of Ireland : a complete catalogue