Thanks for your hints. Usually, all my files are utf-8. Obviously, I somehow managed to inadvertently switch the encoding when creating this specific file. I have no idea how this could happen.
Simon -- http://mail.python.org/mailman/listinfo/python-list