3216 ) Rättens ombudsman.