3519 ) Rättens ombudsman.