Αποστολή με SMS: (Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL