[ 842 ] Rättens ombudsman.