Gripenstedt då uttalat envar