inflatie stijgt naar recordhoogte van 17,1 procent