Trauer um eine Theater-Legende: Otto Schenk ist tot.