Gripenstedt hade blifvit uppkalladaf