[ 25617 ] rättens ombudsman.