6139 ) Rättens ombudsman.