Added the original reference. Added other spellings.
]]>I just noticed that Gelfand-Naimark theorem (together with a dozen of variants of spelling) used to be redirecting to Gelfand spectrum, which however had and has nothing to say about it. As a quick fix, I gave it its own entry now, with an absolute minimum of content. Needs expanding now. I also edited the pointers to this from the Properties-section at C*-algebra.
]]>