[ 7141 ] rättens ombudsman.