Generalprokuratoms ombud hade under tidenbegifvit