>>> import codecs
>>> f = codecs.open('/tmp/karl_utf8.txt', 'w',
...                 encoding='utf-8')
...
>>> f.write(karl_uni)
>>> f.close()