Exchange rates and prices in the Netherlands and Britain over the past four centuries