Thomas Voegtlin (creator of electrum) said on reddit that they tried to buy the domain in 2012 but it was too expensive. https://www.reddit.com/r/Bitcoin/comments/8a1drz/psa_electru...