gdp netherlands 1972