Gripenstedt var chef för finansdepartementet,