The Dutch are a very practical people.