konungen , hvarvid operan Leonora uppföres.