fixed bad encoding in german examples, and fixed bug in example.py