6253X3 ) Rättens ombudsman.