3317 ) Rättens ombudsman.