utnämndes Gripenberg till öfverstelöjtnant.