3493 ) Rättens ombudsman.