De naam Nokia verdwijnt van de smartphonemarkt