Abschalten fällt schwer. ARD-Dokudrama "Eichmanns Ende"