Recordkrimp Nederlandse economie