Der frühere Intendant des Staatstheaters ist tot: Öffentliche Trauerfeier im Kleinen Haus.