Nokia kauft Trolltech