Microsoft just bought Nokia for $0