GDP nearly 32 billion guilders (4.2%) higher after revision