J . F. Bengtson , A . Virén , justitieombudsm.