Wie viel ist die Firma Nokia wert?