correctly encoded unicode in html under Pyton 3
1.8.3