Tim Peters ist tot: Python verliert den Erfinder von Timsort und Autor des „Zen of Python“