Added Python snippet for utf8-coding