Ernst Klee ist tot.