Gripenstedt var , såsom kändt är,