Nederlandse economie kromp met 3,7 procent