Yes, but there's one interesting bit of fine print in the Nokia-Microsoft deal that gives the runt company (that was the old Nokia) the right to start using the Nokia name again... as of January 1, 2016:

http://followingjolla.blogspot.com/2013/09/the-small-print-t...

Of course Jolla is a different company as well... but we're barely 2 years away from more wild naming-strategery options, for Nokia-offshoot Finnish companies.