Seol mar théacs é seo: (Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL