>>> karl_bytes = karl_uni.encode('utf-8')
>>> # verarbeiten
>>> karl_bytes.decode('utf-8')
u'Karl M\xfcller'