[ 879 ] rättens ombudsman.