3517 ) Rättens ombudsman.