statsräden Gripenstedt , Ehnemark och Lagerstråle , ledamöter.