6138 ) Rättens ombudsman.