Gripenstedt ( frib .)