6139 ) Rättens ombudsman,